Publication:3931391
From MaRDI portal
zbMath0475.03041MaRDI QIDQ3931391
Publication date: 1981
03H15: Nonstandard models of arithmetic
Related Items
On Wilkie and Paris’s notion of fullness, On end extensions of models of subsystems of Peano arithmetic, Fragments of arithmetic, On two problems concerning end extensions, Petri nets and large finite sets, Arithmetic analogues of McAloon's unique Rosser sentences, End extensions of models of fragments of \(\mathrm{PA}\), Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\), Interpreting Weak König’s Lemma using the Arithmetized Completeness Theorem