scientific article; zbMATH DE number 1746899

MaRDI QIDQ4531091zbMATH OpenFDO

Authors James H. Schmerl

Publication date 11 November 2002

zbMATH Keywords

gapsrecursive saturationPeano Arithmeticintersticesmoving gaps lemma

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Recommendations

• On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic
• Interstitial and pseudo gaps in models of Peano arithmetic
• Strongly maximal subgroups determined by elements in interstices
• Order-types of models of arithmetic and a connection with arithmetic saturation
• Arithmetically saturated models of arithmetic

Cited in

(5)

• Constant regions in models of arithmetic
• Decoding in the automorphism group of a recursively saturated model of arithmetic
• Automorphism groups of arithmetically saturated models
• Strongly maximal subgroups determined by elements in interstices
• Interstitial and pseudo gaps in models of Peano arithmetic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4531091)