A Model for Urelements

Mathematical Logic Quarterly 14 (19):303-304 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19680141904

Links

PhilArchive



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

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

The Usual Model Construction for NFU Preserves Information.M. Randall Holmes - 2012 - Notre Dame Journal of Formal Logic 53 (4):571-580.
The equivalence of NF-Style set theories with "tangled" theories; the construction of ω-models of predicative NF (and more).M. Randall Holmes - 1995 - Journal of Symbolic Logic 60 (1):178-190.
The 3-Stratifiable Theorems of.Marcel Crabbé - 1999 - Notre Dame Journal of Formal Logic 40 (2):174-182.
A partial model of NF with E.N. Prati - 1994 - Journal of Symbolic Logic 59 (4):1245 - 1253.
Zermelo (1930) is concerned with impredicative second-order set theory. He treats the general case of set theory with urelements, but it will be enough to consider only the case of pure set theory, ie without urelements. In this context, Zermelo's theory is the axiomatic second-order theory T2 in the language of pure set theory whose axioms are Extensionality, Regu. [REVIEW]Ww Tait - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press. pp. 469.
Wide Sets, ZFCU, and the Iterative Conception.Christopher Menzel - 2014 - Journal of Philosophy 111 (2):57-83.
The identity of argument-places.Joop Leo - 2008 - Review of Symbolic Logic 1 (3):335-354.
Review: Azriel Levy, On Models of Set Theory with Urelements. [REVIEW]Elliott Mendelson - 1971 - Journal of Symbolic Logic 36 (4):682-682.
Set Theory With and Without Urelements and Categories of Interpretations.Benedikt Löwe - 2006 - Notre Dame Journal of Formal Logic 47 (1):83-91.
Cognitive coordination deficits: A necessary but not sufficient factor in the development of schizophrenia.Diane C. Gooding & Jacqueline G. Braun - 2003 - Behavioral and Brain Sciences 26 (1):89-90.
Models of set theory with definable ordinals.Ali Enayat - 2005 - Archive for Mathematical Logic 44 (3):363-385.

Analytics

Added to PP
2013-11-24

Downloads
11 (#1,100,233)

6 months
4 (#797,377)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The Consistency of the Continuum Hypothesis.Kurt Godel - 1940 - Princeton University Press.

Add more references