Conservative Extension in Relevant Arithmetic

&
Mathematical Logic Quarterly 32 (1‐5):45-50 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19860320106

Links

PhilArchive



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

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

Conservative Extension in Relevant Arithmetic.Robert K. Meyer & Igor Urbas - 1986 - Mathematical Logic Quarterly 32 (1-5):45-50.
Introduction.Thomas Macaulay Ferguson & Graham Priest - 2021 - Australasian Journal of Logic 18 (5):132-145.
An Effective Conservation Result for Nonstandard Arithmetic.Erik Palmgren - 2000 - Mathematical Logic Quarterly 46 (1):17-24.
A version of kripke‐platek set theory which is conservative over peano arithmetic.Gerhard Jäger - 1984 - Mathematical Logic Quarterly 30 (1‐6):3-9.
A Version of Kripke‐Platek Set Theory Which is Conservative Over Peano Arithmetic.Gerhard Jäger - 1984 - Mathematical Logic Quarterly 30 (1-6):3-9.
Epistemic arithmetic is a conservative extension of intuitionistic arithmetic.Nicolas D. Goodman - 1984 - Journal of Symbolic Logic 49 (1):192-203.
Relatively Recursively Enumerable Versus Relatively Σ1 in Models of Peano Arithmetic.Grzegorz Michalski - 1995 - Mathematical Logic Quarterly 41 (4):515-522.
Minimal elementary extensions of models of set theory and arithmetic.Ali Enayat - 1990 - Archive for Mathematical Logic 30 (3):181-192.
Conservation.Harvey Friedman - manuscript
Review: Richard Routley, Val Plumwood, Robert K. Meyer, Ross T. Brady, Relevant Logics and their Rivals. Part I. The Basic Philosophical and Semantical Theory. [REVIEW]Daniel H. Cohen - 1989 - Journal of Symbolic Logic 54 (1):293-296.

Analytics

Added to PP
2013-12-01

Downloads
19 (#794,916)

6 months
5 (#838,466)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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

Add more citations

References found in this work

On conserving positive logics.Robert K. Meyer - 1973 - Notre Dame Journal of Formal Logic 14 (2):224-236.
Negation disarmed.Robert K. Meyer - 1976 - Notre Dame Journal of Formal Logic 17 (2):184-190.

Add more references