Varieties of self-reference in metamathematics

DOI10.1007/S10992-022-09696-YOpenAlexW4324152536MaRDI QIDQ6166124FDOQ6166124

Balthasar Grabmayr, Volker Halbach, Author name not available (Why is that?)

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

arithmeticdiagonalizationuniformitywell-foundednessself-referenceintensionalityHenkin sentence

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

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

Cited In (4)

• A step towards absolute versions of metamathematical results
• Title not available (Why is that?)
• Self-reference and the Languages of Arithmetic
• 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)