The following pages link to (Q3922684):
Displayed 5 items.
- Undefinability of truth and nonstandard models (Q598273) (← links)
- Nonstandard definability (Q913793) (← links)
- Models of Peano arithmetic and a question of Sikorski on ordered fields (Q1065791) (← links)
- Destructibility and axiomatizability of Kaufmann models (Q2085581) (← links)
- Models of weak theories of truth (Q2402953) (← links)