Pages that link to "Item:Q3659779"
From MaRDI portal
The following pages link to A certain class of models of Peano arithmetic (Q3659779):
Displaying 5 items.
- Undefinability of truth and nonstandard models (Q598273) (← links)
- Four problems concerning recursively saturated models of arithmetic (Q1913627) (← links)
- A Galois correspondence for countable short recursively saturated models of PA (Q3566942) (← links)
- On Extensions of Models of Strong Fragments of Arithmetic (Q4205426) (← links)
- Neutrally expandable models of arithmetic (Q5108857) (← links)