- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Set Theory With and Without Urelements and Categories of Interpretations
Notre Dame Journal of Formal Logic 47 (1):83-91 (2006)
Abstract
We show that the theories ZF and ZFU are synonymous, answering a question of VisserAuthor's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Amphi-ZF : axioms for Conway games.Michael Cox & Richard Kaye - 2012 - Archive for Mathematical Logic 51 (3-4):353-371.
On Interpretations of Arithmetic and Set Theory.Richard Kaye & Tin Lok Wong - 2007 - Notre Dame Journal of Formal Logic 48 (4):497-510.
Lindenbaum algebras of intuitionistic theories and free categories.Peter Freyd, Harvey Friedman & Andre Scedrov - 1987 - Annals of Pure and Applied Logic 35 (C):167-172.
Heyting-valued interpretations for constructive set theory.Nicola Gambino - 2006 - Annals of Pure and Applied Logic 137 (1-3):164-188.
The logic of closed categories.Manfred E. Szabo - 1977 - Notre Dame Journal of Formal Logic 18 (3):441-457.
A note on "P"-admissible sets with urelements.Judy Green - 1975 - Notre Dame Journal of Formal Logic 16:415.
Antifoundation and Transitive Closure in the System of Zermelo.Olivier Esser & Roland Hinnion - 1999 - Notre Dame Journal of Formal Logic 40 (2):197-205.
Three substitution-instance interpretations.John T. Kearns - 1978 - Notre Dame Journal of Formal Logic 19 (3):331-354.
The Modal Logic of Cluster-Decomposable Kripke Interpretations.Michael Tiomkin & Michael Kaminski - 2007 - Notre Dame Journal of Formal Logic 48 (4):511-520.
Closed categories and categorical grammar.Daniel J. Dougherty - 1992 - Notre Dame Journal of Formal Logic 34 (1):36-49.
Analytics
Added to PP
2010-08-24
Downloads
40 (#410,818)
6 months
14 (#200,872)
2010-08-24
Downloads
40 (#410,818)
6 months
14 (#200,872)
Historical graph of downloads
Author's Profile
Citations of this work
Dynamic Tractable Reasoning: A Modular Approach to Belief Revision.Holger Andreas - 2020 - Cham, Schweiz: Springer.
Level Theory, Part 3: A Boolean Algebra of Sets Arranged in Well-Ordered Levels.Tim Button - 2022 - Bulletin of Symbolic Logic 28 (1):1-26.
Criteria of Theoreticity: Bridging Statement and Non-Statement View.Gerhard Schurz - 2014 - Erkenntnis 79 (S8):1-25.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-kfj6z uwo