Rosser sentences

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

Abstract

This article has no associated abstract. (fix it)

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

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.
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.

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