Rosser sentences

Annals of Mathematical Logic 16 (1):81 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(79)90017-2

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A remark on equivalent Rosser sentences.Christopher von Bülow - 2008 - Annals of Pure and Applied Logic 151 (1):62-67.
Arithmetic analogues of McAloon's unique Rosser sentences.C. Smoryński - 1989 - Archive for Mathematical Logic 28 (1):1-21.
Modal analysis of generalized Rosser sentences.Vítězslav Švejdar - 1983 - Journal of Symbolic Logic 48 (4):986-999.
On constructivity and the Rosser property: a closer look at some Gödelean proofs.Saeed Salehi & Payam Seraji - 2018 - Annals of Pure and Applied Logic 169 (10):971-980.
Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
Rosser and mostowski sentences.Franco Montagna & Giovanni Sommaruga - 1988 - Archive for Mathematical Logic 27 (2):115-133.
Yablifying the Rosser Sentence.Graham Leach-Krouse - 2014 - Journal of Philosophical Logic 43 (5):827-834.
Henkin sentences and local reflection principles for Rosser provability.Taishi Kurahashi - 2016 - Annals of Pure and Applied Logic 167 (2):73-94.
Aspects of Incompleteness Vol. 10.P. Lindstrom - 2002
Rosser Barkley. Gödel theorems for non-constructive logics. [REVIEW]R. Carnap - 1938 - Journal of Symbolic Logic 3 (1):50-50.

Analytics

Added to PP
2013-09-06

Downloads
43 (#543,787)

6 months
4 (#864,415)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logic of proofs.Sergei Artëmov - 1994 - Annals of Pure and Applied Logic 67 (1-3):29-59.
Self-Reference in Arithmetic II.Volker Halbach & Albert Visser - 2014 - Review of Symbolic Logic 7 (4):692-712.
Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.

View all 48 citations / Add more citations

References found in this work

Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.

Add more references