Constructive Set Theory

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Constructive Set Theory.

• Diaconescu's theorem — The constructive-logic result that a sufficiently strong axiom of choice entails the law of excluded middle.