Arithmetic and the theory of types

Journal of Symbolic Logic 49 (2):621-624 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,649

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On Interpretations of Bounded Arithmetic and Bounded Set Theory.Richard Pettigrew - 2009 - Notre Dame Journal of Formal Logic 50 (2):141-152.
Kant’s Theory of Arithmetic: A Constructive Approach? [REVIEW]Kristina Engelhard & Peter Mittelstaedt - 2008 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 39 (2):245 - 271.
Omitting Types in Set Theory and Arithmetic.Julia F. Knight - 1976 - Journal of Symbolic Logic 41 (1):25-32.
Models Without Indiscernibles.Fred G. Abramson & Leo A. Harrington - 1978 - Journal of Symbolic Logic 43 (3):572-600.
On Certain Types and Models for Arithmetic.Andreas Blass - 1974 - Journal of Symbolic Logic 39 (1):151-162.

Analytics

Added to PP
2009-01-28

Downloads
14 (#725,719)

6 months
1 (#419,510)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Relations in Monadic Third-Order Logic.A. P. Hazen - 1997 - Journal of Philosophical Logic 26 (6):619-628.
Finite Sets and Natural Numbers in Intuitionistic TT.Daniel Dzierzgowski - 1996 - Notre Dame Journal of Formal Logic 37 (4):585-601.

Add more citations

References found in this work

No references found.

Add more references