Arithmetic analogues of McAloon's unique Rosser sentences

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf01624079

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,607

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 and mostowski sentences.Franco Montagna & Giovanni Sommaruga - 1988 - Archive for Mathematical Logic 27 (2):115-133.
Rosser sentences.D. Guaspari - 1979 - Annals of Mathematical Logic 16 (1):81.
A remark on equivalent Rosser sentences.Christopher von Bülow - 2008 - Annals of Pure and Applied Logic 151 (1):62-67.
Ein algebraischer Beweis für das Church-Rosser-Theorem.Gerd Mitschke - 1972 - Archive for Mathematical Logic 15 (3-4):146-157.
Functoroids and ptykoids.J. R. G. Catlow - 1995 - Archive for Mathematical Logic 33 (6):413-425.
The function [mathematical formula] in sharply bounded arithmetic.Mitsuru Tada & Makoto Tatsuta - 1997 - Archive for Mathematical Logic 36 (1).
Overspill and fragments of arithmetic.C. Dimitracopoulos - 1989 - Archive for Mathematical Logic 28 (3):173-179.
More on cardinal arithmetic.Saharon Shelah - 1993 - Archive for Mathematical Logic 32 (6):399-428.
Conservative extensions of models of arithmetic.Andreas Blass - 1980 - Archive for Mathematical Logic 20 (3-4):85-94.
Iterated trees and fragments of arithmetic.Yue Yang - 1995 - Archive for Mathematical Logic 34 (2):97-112.

Analytics

Added to PP
2013-11-23

Downloads
33 (#675,875)

6 months
3 (#1,464,642)

Historical graph of downloads
How can I increase my downloads?

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

References found in this work

Self-Reference and Modal Logic.[author unknown] - 1987 - Studia Logica 46 (4):395-398.

Add more references