The following pages link to ENAYAT MODELS OF PEANO ARITHMETIC (Q4647109):
Displaying 6 items.
- A standard model of Peano arithmetic with no conservative elementary extension (Q998319) (← links)
- Substructure lattices and almost minimal end extensions of models of Peano arithmetic (Q3159410) (← links)
- Nonstandard models that are definable in models of Peano Arithmetic (Q3423147) (← links)
- Expanding the additive reduct of a model of Peano arithmetic (Q4419265) (← links)
- Neutrally expandable models of arithmetic (Q5108857) (← links)
- CP‐generic expansions of models of Peano Arithmetic (Q6094143) (← links)