Conservative Extension in Relevant Arithmetic

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



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

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
2015-12-02

Downloads
22 (#518,797)

6 months
1 (#386,016)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references

Citations of this work

Whither Relevant Arithmetic?Harvey Friedman & Robert K. Meyer - 1992 - Journal of Symbolic Logic 57 (3):824-831.

Add more citations

Similar books and articles

Conservative Extension in Relevant Arithmetic.Robert K. Meyer & Igor Urbas - 1986 - Mathematical Logic Quarterly 32 (1‐5):45-50.
An Effective Conservation Result for Nonstandard Arithmetic.Erik Palmgren - 2000 - Mathematical Logic Quarterly 46 (1):17-24.
A1 is Not a Conservative Extension of S4 but of S.Michiro Kondo - 1989 - Journal of Philosophical Logic 18 (3):321 - 323.
Whither Relevant Arithmetic?Harvey Friedman & Robert K. Meyer - 1992 - Journal of Symbolic Logic 57 (3):824-831.
Minimal Elementary Extensions of Models of Set Theory and Arithmetic.Ali Enayat - 1990 - Archive for Mathematical Logic 30 (3):181-192.
Relevant Robinson's Arithmetic.J. Michael Dunn - 1979 - Studia Logica 38 (4):407 - 418.
⊃E is Admissible in “True” Relevant Arithmetic.Robert K. Meyer - 1998 - Journal of Philosophical Logic 27 (4):327-351.
⊃E is Admissible in “True” Relevant Arithmetic.Robert K. Meyer - 1998 - Journal of Philosophical Logic 27 (4):327 - 351.
On Certain Types and Models for Arithmetic.Andreas Blass - 1974 - Journal of Symbolic Logic 39 (1):151-162.
Tait's Conservative Extension Theorem Revisited.Ryota Akiyoshi - 2010 - Journal of Symbolic Logic 75 (1):155-167.