Publication:4781773
From MaRDI portal
zbMath1020.03065MaRDI QIDQ4781773
Andrey Bovykin, Richard W. Kaye
Publication date: 6 October 2003
coding; nonstandard model; order structure; resplendency; ACT-models; order-types of Peano arithmetic
03H15: Nonstandard models of arithmetic
03C62: Models of arithmetic and set theory
03C50: Models with special properties (saturated, rigid, etc.)
03C64: Model theory of ordered structures; o-minimality
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