The following pages link to (Q4827116):
Displaying 5 items.
- The consistency problem for positive comprehension principles (Q3480030) (← links)
- THE ITERATIVE CONCEPTION OF SET (Q3580662) (← links)
- Positive set‐operators of low complexity (Q4808469) (← links)
- A topological set theory implied by ZF and GPK<sup>+</sup><sub>∞</sub> (Q4907838) (← links)
- Axiomatizing complete positivity (Q5015194) (← links)