A constructive interpretation of the full set theory

Journal of Symbolic Logic 52 (1):172-201 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273872

Links

PhilArchive



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

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

Book Review:The Phenomonon of Science Valentin F. Turchin, B. Frantz. [REVIEW]Robert G. Colodny - 1980 - Philosophy of Science 47 (1):162-.
The Type Theoretic Interpretation of Constructive Set Theory.Peter Aczel, Angus Macintyre, Leszek Pacholski & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):313-314.
The Generalised Type-Theoretic Interpretation of Constructive Set Theory.Nicola Gambino & Peter Aczel - 2006 - Journal of Symbolic Logic 71 (1):67 - 103.
Turchin, Valentin, "The Inertia of Fear and the Scientific Worldview". [REVIEW]Andrew Levine - 1982 - Ethics 93:198.
Review: Peter Aczel, Angus Macintyre, Leszek Pacholski, Jeff Paris, The Type Theoretic Interpretation of Constructive Set Theory. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):313-314.
Constructive Set Theory.John Myhill & Harvey Friedman - 1981 - Journal of Symbolic Logic 46 (4):868-870.
Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
Constructive set theoretic models of typed combinatory logic.Andreas Knobel - 1993 - Journal of Symbolic Logic 58 (1):99-118.
Myhill John. Constructive set theory.R. J. Grayson - 1981 - Journal of Symbolic Logic 46 (4):868-870.
Combinator realizability of a constructive Morse set theory.John Staples - 1974 - Journal of Symbolic Logic 39 (2):226-234.

Analytics

Added to PP
2009-01-28

Downloads
42 (#369,045)

6 months
42 (#109,191)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A dialogue on Metasystem transition.Valentin Turchin - 1995 - World Futures 45 (1):5-57.

Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
Foundations of Set Theory.J. R. Shoenfield - 1964 - Journal of Symbolic Logic 29 (3):141-141.

Add more references