Pages that link to "Item:Q1888631"
From MaRDI portal
The following pages link to Order-types of models of arithmetic and a connection with arithmetic saturation (Q1888631):
Displaying 6 items.
- Elementary cuts in saturated models of Peano arithmetic (Q424574) (← links)
- Resplendent models and \({\Sigma_1^1}\)-definability with an oracle (Q944221) (← links)
- Models of : when two elements are necessarily order automorphic (Q3460521) (← links)
- ON AUTOMORPHISMS OF RESPLENDENT MODELS OF ARITHMETIC (Q3677751) (← links)
- ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC (Q5085859) (← links)
- UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS (Q5501767) (← links)