scientific article; zbMATH DE number 3882428

MaRDI QIDQ3216650zbMATH OpenFDO

Authors Craig Smoryński

Publication date 1984

zbMATH Keywords

nonstandard models of PA

Mathematics Subject Classification ID

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)

Recommendations

• On some uses of nonstandard models
• scientific article; zbMATH DE number 51556
• An Effective Conservation Result for Nonstandard Arithmetic
• The structure of models of Peano arithmetic
• A standard model of Peano arithmetic with no conservative elementary extension

Cited in

(21)

• 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
• Editor's introduction to the special issue on ``Models of arithmetic
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• Lectures on Infinitary Model Theory
• scientific article; zbMATH DE number 3841857 (Why is no real title available?)
• scientific article; zbMATH DE number 4053609 (Why is no real title available?)
• scientific article; zbMATH DE number 4123732 (Why is no real title available?)
• The Bass-Milnor-Serre theorem for nonstandard models in Peano arithmetic
• Linearly Stratified Models for the Foundations of Nonstandard Mathematics
• scientific article; zbMATH DE number 2063922 (Why is no real title available?)
• INCOMPLETENESS VIA PARADOX AND COMPLETENESS
• The Barwise-Schlipf theorem
• On some uses of nonstandard models
• The structure of models of Peano arithmetic
• EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
• The compactness of Gödel logic
• Automorphisms of models of arithmetic: a unified view
• A standard model of Peano arithmetic with no conservative elementary extension

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3216650)