Comparing type theory and set theory

Mathematical Logic Quarterly 21 (1):355-356 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19750210144

Links

PhilArchive



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

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

A class of models for Skala's set theory.Antonio Greco - 1992 - Mathematical Logic Quarterly 38 (1):277-282.
Extensionality Versus Constructivity.Silvio Valentini - 2002 - Mathematical Logic Quarterly 48 (2):179-187.
Higher type categories.Martin Dowd - 1993 - Mathematical Logic Quarterly 39 (1):251-254.
Set Theory and Its Logic.J. C. Shepherdson & Willard Van Orman Quine - 1965 - Philosophical Quarterly 15 (61):371.
On some peculiar aspects of the constructive theory of point-free spaces.Giovanni Curi - 2010 - Mathematical Logic Quarterly 56 (4):375-387.
Mathematical induction in ramified type theory.James R. Royse - 1969 - Mathematical Logic Quarterly 15 (1‐3):7-10.
The ambiguous type theory is hereditarily undecidable.Andrey A. Kuzichev - 1992 - Mathematical Logic Quarterly 38 (1):299-300.
On the reduction of type theory.Marcel Crabbé - 1983 - Mathematical Logic Quarterly 29 (4):235-237.
A Paratheory of Type Theory.Gerold Stahl - 1963 - Mathematical Logic Quarterly 9 (11):169-171.
Provability in Elementary Type Theory.Peter B. Andrews - 1974 - Mathematical Logic Quarterly 20 (25‐27):411-418.

Analytics

Added to PP
2013-11-24

Downloads
28 (#557,374)

6 months
5 (#836,811)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The strength of Mac Lane set theory.A. R. D. Mathias - 2001 - Annals of Pure and Applied Logic 110 (1-3):107-234.

Add more citations

References found in this work

Foundations of Set Theory.Abraham Adolf Fraenkel & Yehoshua Bar-Hillel - 1973 - Atlantic Highlands, NJ, USA: Elsevier.
Foundations of Set Theory.A. A. Fraenkel, Y. Bar Hillel & A. Levy - 1975 - British Journal for the Philosophy of Science 26 (2):165-170.

Add more references