Rosser-type undecidable sentences based on Yablo's paradox
type: Item
instance of: scholarly article
title: Rosser-type undecidable sentences based on Yablo's paradox
zbMATH Open document ID: 1339.03055
author: Taishi Kurahashi
published in: Journal of Philosophical Logic
publication date: 2014-12-18T00:00:00Z
Mathematics Subject Classification ID: 03F40
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 6381559
zbMATH Keywords: incompleteness theorems
zbMATH Keywords: Yablo's paradox
zbMATH Keywords: Rosser's provability predicates
zbMATH Keywords: proof predicates
zbMATH Keywords: Guaspari-Solovay's construction
MaRDI profile type: Publication
full work available at URL: s10992-013-9309-z
OpenAlex ID: W2066812195
cites work: Q4523482
cites work: Q4397069
cites work: Q5536262
cites work: Information-Theoretic Limitations of Formal Systems
cites work: Gödelizing the Yablo sequence
cites work: Arithmetization of metamathematics in a general setting
cites work: Rosser sentences
cites work: On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
cites work: The Surprise Examination Paradox and the Second Incompleteness Theorem
cites work: Paradox without Self-Reference
cites work: Yablifying the Rosser sentence
cites work: Q4354788
cites work: Yablo's paradox
cites work: Extensions of some theorems of Gödel and Church
cites work: A remark on equivalent Rosser sentences
DOI: 10.1007/S10992-013-9309-Z
description: scientific article; zbMATH DE number 6381559