Axiom of choice and complementation

Diaconescu, R. (1975). Axiom of choice and complementation.

Type

Unclassified

Intellectual base

Unclassified

Year

1975

DOI

10.1090/s0002-9939-1975-0373893-x

Link

https://doi.org/10.1090/s0002-9939-1975-0373893-x

Cited by

1 citation across 1 artifact.

Domain-specific

• Diaconescu's theorem
  • The proof builds sets whose equality depends on an arbitrary proposition, applies choice to a surjection or family and uses extensional equality of chosen representatives to decide that proposition.

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:48657f3e7793 · see in the full table