Henkin sentences and local reflection principles for Rosser provability

DOI10.1016/j.apal.2015.10.002zbMath1402.03084OpenAlexW2148793401MaRDI QIDQ892168

Taishi Kurahashi

Publication date: 18 November 2015

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2015.10.002

zbMATH Keywords

Henkin sentencesLöb's theoremlocal reflection principlesRosser provability predicatesRosser sentences

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Proof theory in general (including proof-theoretic semantics) (03F03) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Gödel numberings and issues of incompleteness (03F40)

Related Items

Some observations on the FGH theorem, On partial disjunction properties of theories containing Peano arithmetic, UNIVERSAL ROSSER PREDICATES, Rosser provability and the second incompleteness theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Rosser-type undecidable sentences based on Yablo's paradox
• Arithmetic with a local reflection principle for Rosser provability formulas
• Self-reference and modal logic
• Derivability conditions on Rosser's provability predicates
• Solution of a problem of Leon Henkin
• Arithmetization of metamathematics in a general setting
• Reflection principles and provability algebras in formal arithmetic
• On Partially Conservative Sentences and Interpretability
• Rosser sentences
• Calculating self-referential statements
• SELF-REFERENCE IN ARITHMETIC II
• On Rosser's Provability Predicate
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems