Arithmetic analogues of McAloon's unique Rosser sentences

Archive for Mathematical Logic 28 (1):1-21 (1989)

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,743

External links

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

Through your library

Analytics

Added to PP
2013-11-23

Downloads
26 (#444,111)

6 months
1 (#386,989)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.
Self-Reference and Modal Logic.[author unknown] - 1987 - Studia Logica 46 (4):395-398.

Add more references

Citations of this work

Another Look at the Second Incompleteness Theorem.Albert Visser - 2020 - Review of Symbolic Logic 13 (2):269-295.
Uniform Density in Lindenbaum Algebras.V. Yu Shavrukov & Albert Visser - 2014 - Notre Dame Journal of Formal Logic 55 (4):569-582.
Interpretability Suprema in Peano Arithmetic.Paula Henk & Albert Visser - 2017 - Archive for Mathematical Logic 56 (5-6):555-584.

Add more citations

Similar books and articles

On the Complexity of Models of Arithmetic.Kenneth McAloon - 1982 - Journal of Symbolic Logic 47 (2):403-415.
A Theorem on Partial Conservativity in Arithmetic.Per Lindström - 2011 - Journal of Symbolic Logic 76 (1):341 - 347.
Self-Reference and the Languages of Arithmetic.Richard Heck - 2007 - Philosophia Mathematica 15 (1):1-29.
Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
Arithmetic Proof and Open Sentences.Neil Thompson - 2012 - Philosophy Study 2 (1):43-50.
Literalism and the Applicability of Arithmetic.L. Luce - 1991 - British Journal for the Philosophy of Science 42 (4):469-489.
Yablifying the Rosser Sentence.Graham Leach-Krouse - 2014 - Journal of Philosophical Logic 43 (5):827-834.