Pages that link to "Item:Q3423147"
From MaRDI portal
The following pages link to Nonstandard models that are definable in models of Peano Arithmetic (Q3423147):
Displaying 6 items.
- Nonstandard models and Kripke's proof of the Gödel theorem (Q698542) (← links)
- Nonstandard definability (Q913793) (← links)
- Definable sets and expansions of models of Peano arithmetic (Q1102945) (← links)
- (Q3312228) (← links)
- Models of PA: Standard Systems without Minimal Ultrafilters (Q5379655) (← links)
- (Q5518351) (← links)