Henkin sentences and local reflection principles for Rosser provability

DOI10.1016/J.APAL.2015.10.002MaRDI QIDQ892168zbMATH OpenOpenAlexFDO

Authors 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 sentenceslocal reflection principlesRosser provability predicatesRosser sentencesLöb's theorem

Mathematics Subject Classification ID

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

Recommendations

• Arithmetic with a local reflection principle for Rosser provability formulas
• Self-reference in arithmetic. I
• A remark on equivalent Rosser sentences
• Derivability conditions on Rosser's provability predicates
• Generic generalized Rosser fixed points

Cites work

• scientific article; zbMATH DE number 3525107 (Why is no real title available?)
• scientific article; zbMATH DE number 1062120 (Why is no real title available?)
• scientific article; zbMATH DE number 3084368 (Why is no real title available?)
• Arithmetic with a local reflection principle for Rosser provability formulas
• Arithmetization of metamathematics in a general setting
• Calculating self-referential statements
• Derivability conditions on Rosser's provability predicates
• On Partially Conservative Sentences and Interpretability
• On Rosser's Provability Predicate
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
• Reflection principles and provability algebras in formal arithmetic
• Rosser sentences
• Rosser-type undecidable sentences based on Yablo's paradox
• Self-reference and modal logic
• Self-reference in arithmetic. II
• Solution of a problem of Leon Henkin

Cited in

(6)

• Rosser provability and the second incompleteness theorem
• Universal Rosser predicates
• The Henkin sentence
• Some observations on the FGH theorem
• On partial disjunction properties of theories containing Peano arithmetic
• Arithmetic analogues of McAloon's unique Rosser sentences

This page was built for publication: Henkin sentences and local reflection principles for Rosser provability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q892168)