Publication:3962975
From MaRDI portal
zbMath0498.03020MaRDI QIDQ3962975
Publication date: 1981
saturated models; coding sequences; additive structure of models of Peano arithmetic; classification of sublanguages of arithmetic
03H15: Nonstandard models of arithmetic
03C62: Models of arithmetic and set theory
03C50: Models with special properties (saturated, rigid, etc.)
Related Items
A list of arithmetical structures complete with respect to the first-order definability, Vive la différence. II: The Ax-Kochen isomorphism theorem