SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS

DOI10.1017/s1755020321000393arXiv2006.12178OpenAlexW3196925223MaRDI QIDQ6041342

Balthasar Grabmayr, Albert Visser

Publication date: 26 May 2023

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2006.12178

zbMATH Keywords

arithmeticself-referenceGödel numberingstruth-theories

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Related Items

GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE, A step towards absolute versions of metamathematical results, Varieties of self-reference in metamathematics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the ambiguation of Polish notation
• Alethic reference
• Reference and truth
• Acceptable notation
• Handbook of proof theory
• Saying it with numerals
• Truth and disquotation
• Inference and self-reference
• On degrees of unsolvability
• Undecidable theories
• Proofs and Computations
• Arithmetization of metamathematics in a general setting
• Self-reference and the Languages of Arithmetic
• Cuts, consistency statements and interpretations
• Toward useful type-free theories. I
• 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 IN ARITHMETIC II
• On Godel Sentences and What They Say