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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

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

Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
Yablifying the Rosser Sentence.Graham Leach-Krouse - 2014 - Journal of Philosophical Logic 43 (5):827-834.
Modal analysis of generalized Rosser sentences.Vítězslav Švejdar - 1983 - Journal of Symbolic Logic 48 (4):986-999.
Rosser and mostowski sentences.Franco Montagna & Giovanni Sommaruga - 1988 - Archive for Mathematical Logic 27 (2):115-133.
Arithmetic analogues of McAloon's unique Rosser sentences.C. Smoryński - 1989 - Archive for Mathematical Logic 28 (1):1-21.
Henkin sentences and local reflection principles for Rosser provability.Taishi Kurahashi - 2016 - Annals of Pure and Applied Logic 167 (2):73-94.
Review: H. B. Curry, A New Proof of the Church-Rosser Theorem. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (4):377-378.
Long wave chaos and systemic economic transformation.J. Barkley Rosser & Marina Vcherashnaya Rosser - 1994 - World Futures 39 (4):197-207.
Curry H. B.. A new proof of the Church-Rosser theorem. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 55 , pp. 16–23; also Indagationes mathematicae, vol. 14 , pp. 16–23. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (4):377-378.
Review: J. Barkley Rosser, Logique Combinatoire et $lambda$-Conversion; J. Barkley Rosser, les Modeles des Logiques Formelles. [REVIEW]Frederic B. Fitch - 1957 - Journal of Symbolic Logic 22 (3):293-293.
Rosser orderings and free variables.Dick Jongh & Franco Montagna - 1991 - Studia Logica 50 (1):71 - 80.
Rosser orderings and free variables.Dick de Jongh & Franco Montagna - 1991 - Studia Logica 50 (1):71-80.
Questions.Peter Hanks - 2006 - In Donald M. Borchert (ed.), Encyclopedia of Philosophy, Vol. 10. Detroit et al.: Thomson Gale. pp. 32-37.
Risk and business cycles: Reply to Rosser.Tyler Cowen - 2000 - Critical Review: A Journal of Politics and Society 14 (1):89-94.
A Simplified Proof of the Church–Rosser Theorem.Yuichi Komori, Naosuke Matsuda & Fumika Yamakawa - 2014 - Studia Logica 102 (1):175-183.

Analytics

Added to PP
2013-09-06

Downloads
28 (#550,467)

6 months
8 (#341,144)

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.
Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.
Self-reference in arithmetic II.Volker Halbach & Albert Visser - 2014 - Review of Symbolic Logic 7 (4):692-712.
Faith & falsity.Albert Visser - 2004 - Annals of Pure and Applied Logic 131 (1-3):103-131.

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