scientific article
From MaRDI portal
Publication:3962975
zbMath0498.03020MaRDI QIDQ3962975
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
saturated modelscoding sequencesadditive structure of models of Peano arithmeticclassification of sublanguages of arithmetic
Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Models with special properties (saturated, rigid, etc.) (03C50)
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
This page was built for publication: