Rosser provability and the second incompleteness theorem

DOI10.1007/978-981-16-4173-2_4OpenAlexW4206914386MaRDI QIDQ2097058

Taishi Kurahashi

Publication date: 11 November 2022

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

zbMATH Keywords

Rosser provability predicatesderivability conditionsthe second incompleteness theorem

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) General logic (03Bxx) Proof theory and constructive mathematics (03Fxx) Set theory (03Exx)

Related Items

Arithmetical completeness theorems for monotonic modal logics

Cites Work

• Henkin sentences and local reflection principles for Rosser provability
• Rosser provability and normal modal logics
• Derivability conditions on Rosser's provability predicates
• 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
• Rosser sentences
• Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
• On Rosser's Provability Predicate
• UNIVERSAL ROSSER PREDICATES
• A NOTE ON DERIVABILITY CONDITIONS
• A concise introduction to mathematical logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item