Rosser and mostowski sentences

&
Archive for Mathematical Logic 27 (2):115-133 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf01620761

Links

PhilArchive



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

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.
Review: Alfred Tarski, On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth; Andrzej Mostowski, Bemerkungen zum Begriff der Inhaltlichen Widerspruchsfreiheit. [REVIEW]Barkley Rosser - 1940 - Journal of Symbolic Logic 5 (3):115-116.
Arithmetic analogues of McAloon's unique Rosser sentences.C. Smoryński - 1989 - Archive for Mathematical Logic 28 (1):1-21.
Review: Andrzej Mostowski, Imre Lakatos, Recent Results in Set Theory; G. Kreisel, A. Robinson, L. Kalmar, A. Mostowski, Discussion; Andrzej Mostowski, On Some New Metamathematical Results Concerning Set Theory. [REVIEW]T. Jech - 1972 - Journal of Symbolic Logic 37 (4):765-766.
Rosser Orderings in Bimodal Logics.Alessandra Carbone & Franco Montagna - 1989 - Mathematical Logic Quarterly 35 (4):343-358.
Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras.Franco Montagna - 1987 - Mathematical Logic Quarterly 33 (4):293-303.
Review: Andrzej Mostowski, Sentences Undecidable in Formalized Arithmetic. An Exposition of the Theory of Kurt Godel. [REVIEW]G. Hasenjaeger - 1954 - Journal of Symbolic Logic 19 (2):119-121.
Rosser orderings and free variables.Dick Jongh & Franco Montagna - 1991 - Studia Logica 50 (1):71 - 80.
Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel.Andrzej Mostowski - 1952 - Westport, Conn.: Greenwood Press.
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.
Computational complexity of some Ramsey quantifiers in finite models.Marcin Mostowski Jakub Szymanik & M. Mostowski - 2007 - Bulletin of Symbolic Logic 13:281-282.

Analytics

Added to PP
2013-11-23

Downloads
17 (#849,202)

6 months
6 (#512,819)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Giovanni Sommaruga
Université de Fribourg

Citations of this work

A note on some extension results.Franco Montagna & Giovanni Sommaruga - 1990 - Studia Logica 49 (4):591 - 600.

Add more citations

References found in this work

Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.
Extensions of some theorems of gödel and church.Barkley Rosser - 1936 - Journal of Symbolic Logic 1 (3):87-91.

View all 9 references / Add more references