Order-types of models of arithmetic and a connection with arithmetic saturation

zbMath1056.03038MaRDI QIDQ1888631

Andrey Bovykin

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

zbMATH Keywords

linearly ordered setsmodels of Peano arithmeticarithmetic saturationresplendencyautomorphisms of models

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items (3)

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

This page was built for publication: Order-types of models of arithmetic and a connection with arithmetic saturation