The following pages link to (Q3691669):
Displaying 3 items.
- A Uniformly, Extremely Nonextensional Formula of Arithmetic with many Undecidable Fixed Points in many Theories (Q3677758) (← links)
- Undecidability results for restricted universally quantified formulae of set theory (Q4291741) (← links)
- Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem (Q4382476) (← links)