scientific article
From MaRDI portal
Publication:3919713
zbMath0467.03059MaRDI QIDQ3919713
Jonathan Stavi, Craig Smorynski
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
recursively saturated model of arithmeticextension of Peano arithmeticarithmetic encodingfull schema of inductionnew relation symbols
Nonstandard models of arithmetic (03H15) Models with special properties (saturated, rigid, etc.) (03C50) Models of other mathematical theories (03C65)
Related Items
Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\), Truth in generic cuts, Nonstandard definability, Saturation and simple extensions of models of Peano arithmetic, Extendible Sets in Peano Arithmetic
