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