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