Skip to main content
SpringerLink
Log in

The Structure of the Ordinals and the Interpretation of ZF in Double Extension Set Theory

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Andrzej Kisielewicz has proposed three systems of “double extension set theory” of which we have shown two to be inconsistent in an earlier paper. Kisielewicz presented an argument that the remaining system interprets ZF, which is defective: it actually shows that the surviving possibly consistent system of double extension set theory interprets ZF with Separation and Comprehension restricted to Δ0 formulas. We show that this system does interpret ZF, using an analysis of the structure of the ordinals.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. ACKERMANN, W., ‘Zur axiomatik der Mengenlehre’, Mathematische Annalen 131: 336–345, 1956.

    Article  Google Scholar 

  2. HOLMES, M. RANDALL, ‘Paradoxes in double extension set theories’, Studia Logica 77 (2004), 41–57.

    Article  Google Scholar 

  3. KISIELEWICZ, ANDRZEJ, ‘Double extension set theory’, Reports on Mathematical Logic 23: 81–89, 1989.

    Google Scholar 

  4. KISIELEWICZ, ANDRZEJ, ‘A very strong set theory?’, Studia Logica 61: 171–178, 1998.

    Article  Google Scholar 

  5. REINHARDT, W. N., ‘Ackermann’s Set Theory equals ZF’, Annals of Mathematical Logic 2: 149–249, 1970.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Boise State University, 1910, University Drive Boise, Idaho, USA

    M. Randall Holmes

Authors
  1. M. Randall Holmes
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to M. Randall Holmes.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Holmes, M.R. The Structure of the Ordinals and the Interpretation of ZF in Double Extension Set Theory. Stud Logica 79, 357–372 (2005). https://doi.org/10.1007/s11225-005-3611-x

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-005-3611-x

Keywords

Search

Navigation