Conservation

Abstract

I. WKL0 is a conservative extension of PRA for ’-0-2 sentences. II. ACA0 is a conservative extension of PA for arithmetic sentences. III. ATR0 is a conservative extension of IR for arithmetic sentences. IV. ’-1-1-CA0 is a conservative extension of ID(

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,219

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

An Effective Conservation Result for Nonstandard Arithmetic.Erik Palmgren - 2000 - Mathematical Logic Quarterly 46 (1):17-24.
Conservation Theorems on Semi-Classical Arithmetic.Makoto Fujiwara & Taishi Kurahashi - 2023 - Journal of Symbolic Logic 88 (4):1469-1496.
On some formalized conservation results in arithmetic.P. Clote, P. Hájek & J. Paris - 1990 - Archive for Mathematical Logic 30 (4):201-218.
On the Relationship Between ID^_.Jeremy Avigad - unknown
Random reals, the rainbow Ramsey theorem, and arithmetic conservation.Chris J. Conidis & Theodore A. Slaman - 2013 - Journal of Symbolic Logic 78 (1):195-206.
Harrington’s conservation theorem redone.Fernando Ferreira & Gilda Ferreira - 2008 - Archive for Mathematical Logic 47 (2):91-100.
Some More Conservation Results on the Baire Category Theorem.Takeshi Yamazaki - 2000 - Mathematical Logic Quarterly 46 (1):105-110.
What are these three aspects?Harvey M. Friedman - unknown
On the relationships between ATR0 and $\widehat{ID}_{.Jeremy Avigad - 1996 - Journal of Symbolic Logic 61 (3):768 - 779.
Epistemic arithmetic is a conservative extension of intuitionistic arithmetic.Nicolas D. Goodman - 1984 - Journal of Symbolic Logic 49 (1):192-203.

Analytics

Added to PP
2009-01-28

Downloads
274 (#99,109)

6 months
274 (#8,636)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references