Uniform self-reference

DOI10.1007/BF00370432MaRDI QIDQ1088657zbMATH OpenFDO

Authors Raymond M. Smullyan

Publication date 1985

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00370432

zbMATH Keywords

Self-referential sentences

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Review text

Self-referential sentences have played a key role in \textit{A. Tarski'}s proof [Stud. Philos. 1, 261-405 (1935; Zbl 0013.28903)] of the non- definability of arithmetic truth within arithmetic and \textit{K. Gödel}'s proof [Monatsh. Math. Phys. 38, 173-198 (1931; Zbl 0002.00101)] of the incompleteness of Peano Arithmetic. In this article we consider some new methods of achieving self-reference in a uniform manner.

Recommendations

• Self-reference in arithmetic. II
• Self-reference in arithmetic. I
• Self-reference and modal logic
• Self-reference and the Languages of Arithmetic
• scientific article; zbMATH DE number 3928959

Cites work

• Fixed points and self-reference
• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• scientific article; zbMATH DE number 664031 (Why is no real title available?)
• Languages in which self reference is possible
• Theory of Formal Systems. (AM-47)
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

Cited in

(8)

• Definability in self-referential systems
• Self-representation in Girard's System U
• Reference in arithmetic
• Self-reference in arithmetic. I
• Self-reference in arithmetic. II
• Self-referential theories
• Varieties of self-reference in metamathematics
• Alethic reference

This page was built for publication: Uniform self-reference

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