Non‐circular, non‐well‐founded set universes

Mathematical Logic Quarterly 39 (1):454-460 (1993)
  Copy   BIBTEX

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; 03E65

Categories

Keywords

Reprint years

DOI

10.1002/malq.19930390149

Links

PhilArchive



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

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

Anti-admissible sets.Jacob Lurie - 1999 - Journal of Symbolic Logic 64 (2):407-435.
Well- and non-well-founded Fregean extensions.Ignacio Jané & Gabriel Uzquiano - 2004 - Journal of Philosophical Logic 33 (5):437-465.
Classification of non‐well‐founded sets and an application.Nitta Takashi, Okada Tomoko & Athanassios Tzouvaras - 2003 - Mathematical Logic Quarterly 49 (2):187-200.
The Graph Conception of Set.Luca Incurvati - 2014 - Journal of Philosophical Logic 43 (1):181-208.
An argument for finsler-Aczel set theory.Adam Rieger - 2000 - Mind 109 (434):241-253.
Conceptions and paradoxes of sets.G. Aldo Antonelli - 1999 - Philosophia Mathematica 7 (2):136-163.
The Decidability of the $ \forall^*\exists$ Class and the Axiom of Foundation.Dorella Bellè & Franco Parlamento - 2001 - Notre Dame Journal of Formal Logic 42 (1):41-53.
The Decidability of the Class and the Axiom of Foundation.Dorella Bellè & Franco Parlamento - 2001 - Notre Dame Journal of Formal Logic 42 (1):41-53.
Expressing infinity without foundation.Franco Parlamento & Alberto Policriti - 1991 - Journal of Symbolic Logic 56 (4):1230-1235.
Kripke-Platek Set Theory and the Anti-Foundation Axiom.Michael Rathjen - 2001 - Mathematical Logic Quarterly 47 (4):435-440.
An axiomatization of 'very' within systiems of set theory.Athanassios Tzouvaras - 2003 - Studia Logica 73 (3):413 - 430.
The axiom of choice for well-ordered families and for families of well- orderable sets.Paul Howard & Jean E. Rubin - 1995 - Journal of Symbolic Logic 60 (4):1115-1117.

Analytics

Added to PP
2013-12-01

Downloads
15 (#919,495)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references