Well- and non-well-founded Fregean extensions

Journal of Philosophical Logic 33 (5):437-465 (2004)
  Copy   BIBTEX


George Boolos has described an interpretation of a fragment of ZFC in a consistent second-order theory whose only axiom is a modification of Frege's inconsistent Axiom V. We build on Boolos's interpretation and study the models of a variety of such theories obtained by amending Axiom V in the spirit of a limitation of size principle. After providing a complete structural description of all well-founded models, we turn to the non-well-founded ones. We show how to build models in which foundation fails in prescribed ways. In particular, we obtain models in which every relation is isomorphic to the membership relation on some set as well as models of Aczel's anti-foundation axiom (AFA). We suggest that Fregean extensions provide a natural way to envisage non-well-founded membership.



    Upload a copy of this work     Papers currently archived: 94,678

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Anti-Admissible Sets.Jacob Lurie - 1999 - Journal of Symbolic Logic 64 (2):407-435.
Anti-admissible sets.Jacob Lurie - 1999 - Journal of Symbolic Logic 64 (2):407-435.
Forcing under Anti‐Foundation Axiom: An expression of the stalks.Sato Kentaro - 2006 - Mathematical Logic Quarterly 52 (3):295-314.
Coalgebra And Abstraction.Graham Leach-Krouse - 2021 - Notre Dame Journal of Formal Logic 62 (1):33-66.
Non‐circular, non‐well‐founded set universes.Athanassios Tzouvaras - 1993 - Mathematical Logic Quarterly 39 (1):454-460.
A Non-Well-Founded Set Theory.Stephen Hostetler Harnish - 1996 - Dissertation, University of Illinois at Urbana-Champaign
The Graph Conception of Set.Luca Incurvati - 2014 - Journal of Philosophical Logic 43 (1):181-208.


Added to PP

148 (#129,365)

6 months
19 (#181,754)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gabriel Uzquiano
University of Southern California

Citations of this work

Iteration one more time.Roy T. Cook - 2003 - Notre Dame Journal of Formal Logic 44 (2):63--92.
Relative categoricity and abstraction principles.Sean Walsh & Sean Ebels-Duggan - 2015 - Review of Symbolic Logic 8 (3):572-606.
Bad company generalized.Gabriel Uzquiano - 2009 - Synthese 170 (3):331 - 347.
Identifying finite cardinal abstracts.Sean C. Ebels-Duggan - 2020 - Philosophical Studies 178 (5):1603-1630.

View all 8 citations / Add more citations

References found in this work

Iteration Again.George Boolos - 1989 - Philosophical Topics 17 (2):5-21.
Non-Well-Founded Sets.Peter Aczel - 1988 - Palo Alto, CA, USA: Csli Lecture Notes.

View all 7 references / Add more references