Pages that link to "Item:Q5305060"
From MaRDI portal
The following pages link to THE ∀∃ THEORY OF PEANO Σ<sub>1</sub> SENTENCES (Q5305060):
Displaying 10 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Decidability of the AE-theory of the lattice of \({\Pi}_1^0\) classes (Q1745361) (← links)
- Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
- Duality, non-standard elements, and dynamic properties of r.e. sets (Q2630829) (← links)
- Effectively inseparable Boolean algebras in lattices of sentences (Q2655144) (← links)
- Provability and Decidability of Arithmetical Universal-Existential Sentences (Q3720563) (← links)
- Decidability of ∀*∀‐Sentences in Membership Theories (Q4868240) (← links)
- HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC (Q5024504) (← links)
- Corrigendum: The ∀∃ theory of Peano Σ1 sentences (Q5268402) (← links)
- ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS (Q6131232) (← links)