Pages that link to "Item:Q2710618"
From MaRDI portal
The following pages link to Inconsistency of the axiom of choice with the positive theory \(\text{GPK}_\infty^+\) (Q2710618):
Displaying 6 items.
- Choice principles in hyperuniverses (Q1919525) (← links)
- The consistency problem for positive comprehension principles (Q3480030) (← links)
- On the Consistency of a Positive Theory (Q4238430) (← links)
- An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory (Q4351926) (← links)
- Inconsistency of GPK + <i>AFA</i> (Q4868244) (← links)
- A topological set theory implied by ZF and GPK<sup>+</sup><sub>∞</sub> (Q4907838) (← links)