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: 92,283

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

Logic in the 1930s: type theory and model theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.
An interpretation of Martin-löf's type theory in a type-free theory of propositions.Jan Smith - 1984 - Journal of Symbolic Logic 49 (3):730-753.
The Generalised Type-Theoretic Interpretation of Constructive Set Theory.Nicola Gambino & Peter Aczel - 2006 - Journal of Symbolic Logic 71 (1):67 - 103.
Type Theory with Records and Unification-based Grammar.Robin Cooper - unknown
Treatise on intuitionistic type theory.Johan Georg Granström - 2011 - New York: Springer.
On the theory of relations based on the theory of objects.S. Kaczorowski - 1962 - Studia Logica 13 (1):37-38.
Types in logic and mathematics before 1940.Fairouz Kamareddine, Twan Laan & Rob Nederpelt - 2002 - Bulletin of Symbolic Logic 8 (2):185-245.
The Friedman‐Translation for Martin‐Löf's Type Theory.Erik Palmgren - 1995 - Mathematical Logic Quarterly 41 (3):314-326.
Realizing Mahlo set theory in type theory.Michael Rathjen - 2003 - Archive for Mathematical Logic 42 (1):89-101.
On Bishops and Donkeys.Nicky Kroll - 2008 - Natural Language Semantics 16 (4):359-372.
First-order, Curry-typed logic for natural language semantics.Shalom Lappin - unknown
The inconsistency of higher order extensions of Martin-löf's type theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.
Saying 'I do' to identity.Richard Brown - manuscript
A type free theory and collective/distributive predication.Fairouz Kamareddine - 1995 - Journal of Logic, Language and Information 4 (2):85-109.
Austinian truth, attitudes and type theory ∗.Robin Cooper - unknown

Analytics

Added to PP
2013-11-24

Downloads
28 (#573,060)

6 months
5 (#648,018)

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