Pages that link to "Item:Q1113901"
From MaRDI portal
The following pages link to Pointwise definable substructures of models of Peano arithmetic (Q1113901):
Displaying 6 items.
- Submodels and definable points in models of Peano arithmetic (Q797573) (← links)
- Definable sets and expansions of models of Peano arithmetic (Q1102945) (← links)
- Definability of initial segments (Q1430996) (← links)
- A note on the variety of satisfaction classes (Q2639847) (← links)
- Nonstandard models that are definable in models of Peano Arithmetic (Q3423147) (← links)
- Strong initial segments of models of IΔ<sub>0</sub> (Q5295064) (← links)