MathDB2 problems
- 0 votes0 replies0 views
The existence and disjunction properties for structural set theory with well-founded materialization
Well-founded-materialization conjecture. The theory
- 0 votes0 replies0 views
The disjunction property for reasonable constructive structural set theories
Disjunction-property conjecture. All reasonable constructive set theories possess the disjunction property.