A Set Theoretic Approach to the Simple Theory of Types

Theoria 35 (3):239-258 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2008

DOI

10.1111/j.1755-2567.1969.tb00371.x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Type Theory and Homotopy.Steve Awodey - unknown
Dynamic generalised quantifiers and hypothetical contexts.Robin Cooper - unknown
The graph-theoretic approach to descriptive set theory.Benjamin D. Miller - 2012 - Bulletin of Symbolic Logic 18 (4):554-575.
The Simple Consistency of Naive Set Theory using Metavaluations.Ross T. Brady - 2014 - Journal of Philosophical Logic 43 (2-3):261-281.
Virtual modality. [REVIEW]William Boos - 2003 - Synthese 136 (3):435 - 491.
E pluribus unum: Plural logic and set theory.John P. Burgess - 2004 - Philosophia Mathematica 12 (3):193-221.
A note on subgroups of the automorphism group of a saturated model, and regular types.A. Pillay - 1989 - Journal of Symbolic Logic 54 (3):858-864.
Set Theory and its Philosophy: A Critical Introduction.Michael D. Potter - 2004 - Oxford, England: Oxford University Press.
An Order-Theoretic Account of Some Set-Theoretic Paradoxes.Thomas Forster & Thierry Libert - 2011 - Notre Dame Journal of Formal Logic 52 (1):1-19.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
Objects and their environments: From Aristotle to ecological ontology.Barry Smith - 2001 - In Andrew U. Frank, Jonathan Raper & Jean-Paul Cheylan (eds.), The Life and Motion of Socio-Economic Units. London: Taylor & Francis. pp. 79-97.
A set theoretic versus a model theoretic approach to the logical structure of physical theories.Marian Przełęcki - 1974 - Studia Logica 33 (1):91 - 112.
The Generalised Type-Theoretic Interpretation of Constructive Set Theory.Nicola Gambino & Peter Aczel - 2006 - Journal of Symbolic Logic 71 (1):67 - 103.
Naïve set theory is innocent!A. Weir - 1998 - Mind 107 (428):763-798.
A proof-theoretic characterization of the primitive recursive set functions.Michael Rathjen - 1992 - Journal of Symbolic Logic 57 (3):954-969.

Analytics

Added to PP
2010-09-13

Downloads
34 (#445,975)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Resnik
University of North Carolina, Chapel Hill

Citations of this work

Add more citations

References found in this work

Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
Set Theory and its Logic.Willard van Orman Quine - 1963 - Cambridge, MA, USA: Harvard University Press.
A Survey of Mathematical Logic.Hao Wang - 1965 - Journal of Symbolic Logic 30 (2):249-250.
Unification of universes in set theory.W. V. Quine - 1956 - Journal of Symbolic Logic 21 (3):267-279.

View all 10 references / Add more references