Set Theory with a Universal Set

Forster, T. E. (1995). Set Theory with a Universal Set: Exploring an Untyped Universe. Oxford University Press.

Type

Book

Intellectual base

Review or monograph

Year

1995

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Universal set
  • … self-membership, comprehension or separation axioms, complement closure, Russell construction, existence or nonexistence proof, alternative theory and consistency qualifications are explicit. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, dataset, or implementation..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:26ae2b48f5f0 · see in the full table