The faithfulness of the interpretation of arithmetic in the theory of constructions

Journal of Symbolic Logic 38 (3):453-459 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273043

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

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

Models of arithmetic and upper Bounds for arithmetic sets.Alistair H. Lachlan & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (3):977-983.
Adjacency-Faithfulness and Conservative Causal Inference.Joseph Ramsey, Jiji Zhang & Peter Spirtes - 2006 - In R. Dechter & T. Richardson (eds.), Proceedings of the Twenty-Second Conference Conference on Uncertainty in Artificial Intelligence (2006). Arlington, Virginia: AUAI Press. pp. 401-408.
Michael Friedmans Behandlung des Unterschiedes zwischen Arithmetik und Algebra bei Kant in Kant and the Exact Sciences.Peter Ospald - 2010 - Kant Studien 101 (1):75-88.
Equivalence of F with a sub-theory of peano arithmetic.Andrew Boucher - manuscript
Logical semantics for causal constructions.Richmond H. Thomason - unknown
Free choice and the theory of scalar implicatures* MIT,.Danny Fox - manuscript
The INPUT and faithfulness in OT syntax.Peter Sells - manuscript
Epistemic arithmetic is a conservative extension of intuitionistic arithmetic.Nicolas D. Goodman - 1984 - Journal of Symbolic Logic 49 (1):192-203.
On interpretations of bounded arithmetic and bounded set theory.Richard Pettigrew - 2009 - Notre Dame Journal of Formal Logic 50 (2):141-152.

Analytics

Added to PP
2009-01-28

Downloads
87 (#194,862)

6 months
7 (#430,488)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof-theoretical analysis: weak systems of functions and classes.L. Gordeev - 1988 - Annals of Pure and Applied Logic 38 (1):1-121.
Extended bar induction in applicative theories.Gerard R. Renardel de Lavalette - 1990 - Annals of Pure and Applied Logic 50 (2):139-189.
A note on Goodman's theorem.Ulrich Kohlenbach - 1999 - Studia Logica 63 (1):1-5.
Truth, proofs and functions.Jean Fichot - 2003 - Synthese 137 (1-2):43 - 58.
Extended bar induction in applicative theories.G. R. Renardel Delavalette - 1990 - Annals of Pure and Applied Logic 50 (2):139-189.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references