Publication:3216650
From MaRDI portal
zbMath0554.03036MaRDI QIDQ3216650
Publication date: 1984
01A65: Development of contemporary mathematics
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03-03: History of mathematical logic and foundations
03H15: Nonstandard models of arithmetic
Related Items
INCOMPLETENESS VIA PARADOX AND COMPLETENESS, EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES, Automorphisms of models of arithmetic: a unified view, A standard model of Peano arithmetic with no conservative elementary extension, On effectively computable realizations of choice functions, Infinitary definitions of equivalence relations in models of PA, Fixed points of self-embeddings of models of arithmetic, Hyperhypersimple sets and \(\Delta _ 2\) systems, Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)