Henkin sentences and local reflection principles for Rosser provability

DOI10.1016/J.APAL.2015.10.002zbMATH Open1402.03084OpenAlexW2148793401MaRDI QIDQ892168FDOQ892168

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

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

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)

Cites Work

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

Cited In (6)

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

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)