- 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
Non‐circular, non‐well‐founded set universes
Mathematical Logic Quarterly 39 (1):454-460 (1993)
Abstract
We show that there are universes of sets which contain descending ϵ-sequences of length α for every ordinal α, though they do not contain any ϵ-cycle. It is also shown that there is no set universe containing a descending ϵ-sequence of length On. MSC: 03E30; 03E65Author's Profile
My notes
Similar books and articles
Classification of non‐well‐founded sets and an application.Nitta Takashi, Okada Tomoko & Athanassios Tzouvaras - 2003 - Mathematical Logic Quarterly 49 (2):187-200.
Well- and non-well-founded Fregean extensions.Ignacio Jané & Gabriel Uzquiano - 2004 - Journal of Philosophical Logic 33 (5):437-465.
A theory of sets with the negation of the axiom of infinity.Stefano Baratella & Ruggero Ferro - 1993 - Mathematical Logic Quarterly 39 (1):338-352.
Non-well-foundedness of well-orderable power sets.T. E. Forster & J. K. Truss - 2003 - Journal of Symbolic Logic 68 (3):879-884.
Non-well-foundedness of well-orderable power sets.T. E. Forster & J. K. Truss - 2003 - Journal of Symbolic Logic 68 (3):879-884.
Analytics
Added to PP
2013-12-01
Downloads
18 (#859,738)
6 months
5 (#710,385)
2013-12-01
Downloads
18 (#859,738)
6 months
5 (#710,385)
Historical graph of downloads
Author's Profile
Citations of this work
Classification of non‐well‐founded sets and an application.Nitta Takashi, Okada Tomoko & Athanassios Tzouvaras - 2003 - Mathematical Logic Quarterly 49 (2):187-200.
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-hhxx8 uwo