Henkin sentences and local reflection principles for Rosser provability
type: Item
instance of: scholarly article
title: Henkin sentences and local reflection principles for Rosser provability
zbMATH Open document ID: 1402.03084
author: Taishi Kurahashi
published in: Annals of Pure and Applied Logic
publication date: 2015-11-18T00:00:00Z
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03F40
Mathematics Subject Classification ID: 03F45
zbMATH DE Number: 6511071
zbMATH Keywords: Henkin sentences
zbMATH Keywords: local reflection principles
zbMATH Keywords: Rosser provability predicates
zbMATH Keywords: Löb's theorem
zbMATH Keywords: Rosser sentences
MaRDI profile type: Publication
full work available at URL: j.apal.2015.10.002
OpenAlex ID: W2148793401
cites work: Derivability conditions on Rosser's provability predicates
cites work: Reflection principles and provability algebras in formal arithmetic
cites work: Arithmetization of metamathematics in a general setting
cites work: Arithmetic with a local reflection principle for Rosser provability formulas
cites work: Rosser sentences
cites work: SELF-REFERENCE IN ARITHMETIC II
cites work: Q5823280
cites work: Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
cites work: Q4103079
cites work: Rosser-type undecidable sentences based on Yablo's paradox
cites work: On Partially Conservative Sentences and Interpretability
cites work: Q4354788
cites work: Solution of a problem of Leon Henkin
cites work: On Rosser's Provability Predicate
cites work: Calculating self-referential statements
cites work: Self-reference and modal logic
DOI: 10.1016/J.APAL.2015.10.002
description: scientific article; zbMATH DE number 6511071