Fifty years of self-reference in arithmetic

DOI10.1305/ndjfl/1093883515zbMath0481.03033OpenAlexW1989833938MaRDI QIDQ1161741

Craig Smorynski

Publication date: 1981

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093883515

zbMATH Keywords

surveybibliographyprovabilityrefutabilitydeluxe fixed pointsno-frills fixed points

Mathematics Subject Classification ID

Development of contemporary mathematics (01A65) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Relative consistency and interpretations (03F25)

Related Items

On modal systems having arithmetical interpretations, Some observations on the FGH theorem, The never-ending recursion, ILLUSORY MODELS OF PEANO ARITHMETIC, The scope of Gödel's first incompleteness theorem, Fixed point algebras, Faith \& falsity, Characterizing programming systems allowing program self-reference, REFERENCE IN ARITHMETIC, HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC