A step towards absolute versions of metamathematical results

DOI10.1007/s10992-023-09731-6OpenAlexW4389108884MaRDI QIDQ6150669

Balthasar Grabmayr

Publication date: 9 February 2024

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

Full work available at URL: https://doi.org/10.1007/s10992-023-09731-6

zbMATH Keywords

incompletenessself-referencediagonalisationnotation systems

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle
• Algebraic specifications of computable and semicomputable data types
• Text structure and proof structure
• Undecidable theories
• Zionist Internationalism through Number Theory: Edmund Landau at the Opening of the Hebrew University in 1925
• Can We Make the Second Incompleteness Theorem Coordinate Free?
• Solution of a problem of Leon Henkin
• Arithmetization of metamathematics in a general setting
• Theory of Formal Systems. (AM-47)
• Self-reference and the Languages of Arithmetic
• Toward useful type-free theories. I
• Outline of a Theory of Truth
• Philosophy and Model Theory
• Model Theory
• An Introduction to Numerical Analysis
• Finite sets and Gödel's incompleteness theorems
• REFERENCE IN ARITHMETIC
• ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
• Mathematical Logic and Computation
• SELF-REFERENCE IN ARITHMETIC I
• SELF-REFERENCE IN ARITHMETIC II
• The Second Incompleteness Theorem: Reflections and Ruminations
• Languages in which self reference is possible
• String theory
• SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS
• Varieties of self-reference in metamathematics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item