A NOTE ON DERIVABILITY CONDITIONS

DOI10.1017/jsl.2020.33zbMath1473.03037arXiv1902.00895OpenAlexW3098929795MaRDI QIDQ5855755

Taishi Kurahashi

Publication date: 19 March 2021

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

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

zbMATH Keywords

second incompleteness theoremderivability conditionsprovability predicates

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Related Items

VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY, Arithmetical completeness theorems for monotonic modal logics, DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS, Rosser provability and the second incompleteness theorem

Cites Work

• Transductions in arithmetic
• Self-reference and modal logic
• Independent numerations of theories and recursive progressions
• A remark on equivalent Rosser sentences
• Derivability conditions on Rosser's provability predicates
• Undecidable theories
• Solution of a problem of Leon Henkin
• Arithmetization of metamathematics in a general setting
• Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
• Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
• A concise introduction to mathematical logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item