Varieties of self-reference in metamathematics

DOI10.1007/s10992-022-09696-yOpenAlexW4324152536MaRDI QIDQ6166124

Balthasar Grabmayr, Volker Halbach, Unnamed Author

Publication date: 2 August 2023

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-022-09696-y

zbMATH Keywords

arithmeticuniformitydiagonalizationself-referenceintensionalitywell-foundednessHenkin sentence

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

A step towards absolute versions of metamathematical results

Cites Work

• Self-reference and modal logic
• Classical recursion theory. The theory of functions and sets of natural numbers
• Inference and self-reference
• Solution of a problem of Leon Henkin
• Arithmetization of metamathematics in a general setting
• Self-reference and the Languages of Arithmetic
• On the weak Kleene scheme in Kripke's theory of truth
• Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
• Outline of a Theory of Truth
• REFERENCE IN ARITHMETIC
• ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
• SELF-REFERENCE IN ARITHMETIC I
• SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item