A very strong set theory? (Q1580651)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A very strong set theory?
scientific article

    Statements

    A very strong set theory? (English)
    0 references
    3 September 2001
    0 references
    The author develops a set theory \(\text{IC}^*_2\) with two \(\in\)-relations and versions of the axioms of extensionality, comprehension (of naive set theory), union and existence of complements which combine these relations. In this set theory the set-theoretic operations on the universe \(V=\{x;x=x\}\) do not depend on the particular \(\in\)-relation and, moreover, \(V\) is a Boolean algebra with respect to these operations. Reviewers Remark: Concerning the consistency question, M. Goldstern has some unpublished notes on a set theory with a universal set and the existence of complements of every set. He drops the axiom of foundation and requires power set axiom, replacement and separation (Aussonderung) only for hereditarily well-founded sets.
    0 references
    set theory with two \(\in\)-relations
    0 references
    extensionality
    0 references
    comprehension
    0 references
    Boolean algebra
    0 references

    Identifiers