scientific article; zbMATH DE number 1827971

zbMath1020.03065MaRDI QIDQ4781773

Andrey Bovykin, Richard W. Kaye

Publication date: 6 October 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

codingnonstandard modelorder structureresplendencyACT-modelsorder-types of Peano arithmetic

Mathematics Subject Classification ID

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 (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: