Pages that link to "Item:Q5305060"
From MaRDI portal
The following pages link to THE ∀∃ THEORY OF PEANO Σ<sub>1</sub> SENTENCES (Q5305060):
Displaying 7 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← 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)
- 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)
