Pages that link to "Item:Q797573"
From MaRDI portal
The following pages link to Submodels and definable points in models of Peano arithmetic (Q797573):
Displaying 8 items.
- Definable sets and expansions of models of Peano arithmetic (Q1102945) (← links)
- Pointwise definable substructures of models of Peano arithmetic (Q1113901) (← links)
- Definability of initial segments (Q1430996) (← links)
- Fixed points of self-embeddings of models of arithmetic (Q1709680) (← links)
- EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC (Q3188343) (← links)
- Nonstandard models that are definable in models of Peano Arithmetic (Q3423147) (← links)
- ENAYAT MODELS OF PEANO ARITHMETIC (Q4647109) (← links)
- On collection schemes and Gaifman's splitting theorem (Q6659526) (← links)