Skip to main content
Log in

Paradoxes in Double Extension Set Theories

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Three systems of “double extension set theory” have been proposed by Andrzej Kisielewicz in two papers. In this paper, it is shown that the two stronger systems are inconsistent, and that the third, weakest system does not admit extensionality for general sets or the use of general sets as parameters in its comprehension scheme. The parameter-free version of the comprehension principle of double extension set theory is also shown to be inconsistent with extensionality. The definitions of the systems and a self-contained exposition of their properties is given, sufficient to develop the inconsistency proofs.

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

Access this article

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. Kisielewicz, Andrzej, ‘Double extension set theory’, Reports on Mathematical Logic 23:81-89, 1989.

    Google Scholar 

  2. Kisielewicz, Andrzej, ‘A very strong set theory?’, Studia Logica 61:171-178, 1998.

    Google Scholar 

  3. Quine, W. V. O, ‘On ordered pairs’, Journal of Symbolic Logic 10:95-96, 1945.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Holmes, M.R. Paradoxes in Double Extension Set Theories. Studia Logica 77, 41–57 (2004). https://doi.org/10.1023/B:STUD.0000034184.03045.7d

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:STUD.0000034184.03045.7d

Navigation