Pages that link to "Item:Q1913627"
From MaRDI portal
The following pages link to Four problems concerning recursively saturated models of arithmetic (Q1913627):
Displaying 6 items.
- Undefinability of truth and nonstandard models (Q598273) (← links)
- Truth in generic cuts (Q636338) (← links)
- Recursively saturated \(\omega _ 1\)-like models of arithmetic (Q800912) (← links)
- The Complexity of Classification Problems for Models of Arithmetic (Q3163661) (← links)
- Recursively saturated nonstandard models of arithmetic; addendum (Q3342574) (← links)
- GAME APPROXIMATIONS OF SATISFACTION CLASSES MODELS (Q4295207) (← links)