Decidability of the AE-theory of the lattice of $${varPi }_1^0$$ classes |
| |
Authors: | Linda Lawton |
| |
Affiliation: | 1.Northern Michigan University,Marquette,USA |
| |
Abstract: | An AE-sentence is a sentence in prenex normal form with all universal quantifiers preceding all existential quantifiers, and the AE-theory of a structure is the set of all AE-sentences true in the structure. We show that the AE-theory of ((mathscr {L}({varPi }_1^0), cap , cup , 0, 1)) is decidable by giving a procedure which, for any AE-sentence in the language, determines the truth or falsity of the sentence in our structure. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|