Order-types of models of arithmetic and a connection with arithmetic saturation
From MaRDI portal
Publication:1888631
zbMath1056.03038MaRDI QIDQ1888631
Publication date: 26 November 2004
Published in: Lobachevskii Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/229408
linearly ordered sets; models of Peano arithmetic; arithmetic saturation; resplendency; automorphisms of models
03F30: First-order arithmetic and fragments
03H15: Nonstandard models of arithmetic
03C62: Models of arithmetic and set theory
Related Items
ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC, Elementary cuts in saturated models of Peano arithmetic, Resplendent models and \({\Sigma_1^1}\)-definability with an oracle