Pages that link to "Item:Q1902734"
From MaRDI portal
The following pages link to Axiom ``collection'' independence of ``DC'' principle in intuitionistic set theory (Q1902734):
Displaying 3 items.
- Effectivity properties of intuitionistic set theory with collection scheme (Q650477) (← links)
- Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets (Q722147) (← links)
- Independence results around constructive ZF (Q1765158) (← links)