Set Theory in Which the Axiom of Foundation Fails

Dissertation, University of California, Los Angeles (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Dependent Choices and Anti-Foundation.Hisato Muraki - 2002 - Mathematical Logic Quarterly 48 (4):607-623.
Forcing with the Anti‐Foundation axiom.Olivier Esser - 2012 - Mathematical Logic Quarterly 58 (1-2):55-62.
Kripke-Platek Set Theory and the Anti-Foundation Axiom.Michael Rathjen - 2001 - Mathematical Logic Quarterly 47 (4):435-440.
Iteration one more time.Roy T. Cook - 2003 - Notre Dame Journal of Formal Logic 44 (2):63--92.
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.
Well- and non-well-founded Fregean extensions.Ignacio Jané & Gabriel Uzquiano - 2004 - Journal of Philosophical Logic 33 (5):437-465.
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.
Lévy hierarchy in weak set theories.Jiří Hanika - 2008 - Journal of Philosophical Logic 37 (2):121 - 140.
A Single Axiom for Set Theory.David Bennett - 2000 - Notre Dame Journal of Formal Logic 41 (2):152-170.
The Graph Conception of Set.Luca Incurvati - 2014 - Journal of Philosophical Logic 43 (1):181-208.
The decision problem for restricted universal quantification in set theory and the axiom of foundation.Franco Parlamento & Alberto Policriti - 1992 - Mathematical Logic Quarterly 38 (1):143-156.
Expressing infinity without foundation.Franco Parlamento & Alberto Policriti - 1991 - Journal of Symbolic Logic 56 (4):1230-1235.
Non‐circular, non‐well‐founded set universes.Athanassios Tzouvaras - 1993 - Mathematical Logic Quarterly 39 (1):454-460.
Inconsistency of GPK + AFA.Olivier Esser - 1996 - Mathematical Logic Quarterly 42 (1):104-108.
An axiomatization of 'very' within systiems of set theory.Athanassios Tzouvaras - 2003 - Studia Logica 73 (3):413 - 430.

Analytics

Added to PP
2015-02-05

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Paradoxes and contemporary logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.
Sts: A Structural Theory Of Sets.A. Baltag - 1999 - Logic Journal of the IGPL 7 (4):481-515.
Choice principles in hyperuniverses.Marco Forti & Furio Honsell - 1996 - Annals of Pure and Applied Logic 77 (1):35-52.
Forcing with the Anti‐Foundation axiom.Olivier Esser - 2012 - Mathematical Logic Quarterly 58 (1-2):55-62.

Add more citations

References found in this work

No references found.

Add more references