Pages that link to "Item:Q3677758"
From MaRDI portal
The following pages link to A Uniformly, Extremely Nonextensional Formula of Arithmetic with many Undecidable Fixed Points in many Theories (Q3677758):
Displaying 5 items.
- A shorter proof of a recent result by R. Di Paola (Q2266712) (← links)
- Equivalence relations induced by extensional formulae: classification by means of a new fixed point property (Q3677759) (← links)
- (Q3691669) (← links)
- Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem (Q4382476) (← links)
- THE ∀∃ THEORY OF PEANO Σ<sub>1</sub> SENTENCES (Q5305060) (← links)