Henkin sentences and local reflection principles for Rosser provability
From MaRDI portal
Publication:892168
DOI10.1016/j.apal.2015.10.002zbMath1402.03084OpenAlexW2148793401MaRDI QIDQ892168
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
Henkin sentencesLöb's theoremlocal reflection principlesRosser provability predicatesRosser sentences
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
