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 setsmodels of Peano arithmeticarithmetic saturationresplendencyautomorphisms of models
First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)
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