Varieties of self-reference in metamathematics

DOI10.1007/S10992-022-09696-YMaRDI QIDQ6166124zbMATH OpenOpenAlexFDO

Authors Balthasar Grabmayr, Volker Halbach

Publication date 2 August 2023

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

arithmeticdiagonalizationuniformitywell-foundednessself-referenceintensionalityHenkin sentence

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Self-reference in arithmetic. I
• scientific article; zbMATH DE number 19147
• Self-reference in arithmetic. II
• Uniform self-reference
• Self-reference and modal logic

Cites work

• scientific article; zbMATH DE number 3124827 (Why is no real title available?)
• scientific article; zbMATH DE number 3577197 (Why is no real title available?)
• scientific article; zbMATH DE number 1028815 (Why is no real title available?)
• scientific article; zbMATH DE number 1550364 (Why is no real title available?)
• scientific article; zbMATH DE number 3084368 (Why is no real title available?)
• scientific article; zbMATH DE number 3106607 (Why is no real title available?)
• Arithmetization of metamathematics in a general setting
• Classical recursion theory. The theory of functions and sets of natural numbers
• Inference and self-reference
• ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
• On the weak Kleene scheme in Kripke's theory of truth
• Outline of a Theory of Truth
• Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
• Reference in arithmetic
• SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS
• Self-reference and modal logic
• Self-reference and the Languages of Arithmetic
• Self-reference in arithmetic. I
• Solution of a problem of Leon Henkin

Cited in

(5)

• A step towards absolute versions of metamathematical results
• scientific article; zbMATH DE number 4104916 (Why is no real title available?)
• Self-reference and the Languages of Arithmetic
• SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS
• Self-ascription and the \textit{de se}

This page was built for publication: Varieties of self-reference in metamathematics

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