On the interpretability of arithmetic in set theory

Notre Dame Journal of Formal Logic 11:477 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093894080

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

On the interpretability of arithmetic in set theory.George E. Collins & J. D. Halpern - 1970 - Notre Dame Journal of Formal Logic 11 (4):477-483.
Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order.A. P. Hazen - 1991 - Notre Dame Journal of Formal Logic 33 (1):101-111.
Unary interpretability logic.Maarten de Rijke - 1992 - Notre Dame Journal of Formal Logic 33 (2):249-272.
On the proofs of arithmetical completeness for interpretability logic.Domenico Zambella - 1992 - Notre Dame Journal of Formal Logic 33 (4):542-551.
On certain lattices of degrees of interpretability.Per Lindström - 1984 - Notre Dame Journal of Formal Logic 25 (2):127-140.
On Interpretability in the Theory of Concatenation.Vítězslav Švejdar - 2009 - Notre Dame Journal of Formal Logic 50 (1):87-95.
The arithmetic of the term-relation number theory.F. G. Asenjo - 1965 - Notre Dame Journal of Formal Logic 6 (3):223-228.
Book Review: T. E. Forster. Set theory with a universal set: Exploring an untyped universe. [REVIEW]Richard Kaye - 1993 - Notre Dame Journal of Formal Logic 34 (2):302-309.
A reassessment of George Boole's theory of logic.James W. van Evra - 1977 - Notre Dame Journal of Formal Logic 18 (3):363-377.
A reassessment of George Boole's theory of logic.James W. Evra - 1977 - Notre Dame Journal of Formal Logic 18:363.

Analytics

Added to PP
2017-02-20

Downloads
3 (#1,729,833)

6 months
1 (#1,719,665)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Growing Commas. A Study of Sequentiality and Concatenation.Albert Visser - 2009 - Notre Dame Journal of Formal Logic 50 (1):61-85.
The predicative Frege hierarchy.Albert Visser - 2009 - Annals of Pure and Applied Logic 160 (2):129-153.
Pairs, sets and sequences in first-order theories.Albert Visser - 2008 - Archive for Mathematical Logic 47 (4):299-326.
The Scope of Gödel’s First Incompleteness Theorem.Bernd Buldt - 2014 - Logica Universalis 8 (3-4):499-552.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references