An addition to Rosser's theorem

Journal of Symbolic Logic 61 (1):285-292 (1996)
  Copy   BIBTEX

Abstract

For a primitive recursive consistent and strong enough theory T we construct an independent statement which has some clear metamathematical meaning

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

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

On the Strength of Ramsey's Theorem.David Seetapun & Theodore A. Slaman - 1995 - Notre Dame Journal of Formal Logic 36 (4):570-582.
On Rudimentarity, Primitive Recursivity and Representability.Saeed Salehi - 2020 - Reports on Mathematical Logic 55:73–85.
On a Theory for AC0 and the Strength of the Induction Scheme.Satoru Kuroda - 1998 - Mathematical Logic Quarterly 44 (3):417-426.
Hyperarithmetical relations in expansions of recursive structures.Alan D. Vlach - 1994 - Annals of Pure and Applied Logic 66 (2):163-196.
A Metamathematical Theorem on the Theory of Ordinal Numbers.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):62-62.
Ramsey's Theorem for Pairs and Provably Recursive Functions.Alexander Kreuzer & Ulrich Kohlenbach - 2009 - Notre Dame Journal of Formal Logic 50 (4):427-444.
Variation on a theme of Schutte.D. Probst & G. Jager - 2004 - Mathematical Logic Quarterly 50 (3):258.

Analytics

Added to PP
2009-01-28

Downloads
8 (#1,345,183)

6 months
40 (#99,457)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The incompleteness theorems after 70 years.Henryk Kotlarski - 2004 - Annals of Pure and Applied Logic 126 (1-3):125-138.
A Model–Theoretic Approach to Proof Theory.Henryk Kotlarski - 2019 - Cham, Switzerland: Springer Verlag.

Add more citations

References found in this work

Nonstandard definability.Stuart T. Smith - 1989 - Annals of Pure and Applied Logic 42 (1):21-43.
Mathematical Logic.Donald Monk - 1975 - Journal of Symbolic Logic 40 (2):234-236.
Injecting inconsistencies into models of pa.Robert M. Solovay - 1989 - Annals of Pure and Applied Logic 44 (1-2):101-132.

Add more references