Pages that link to "Item:Q4351926"
From MaRDI portal
The following pages link to An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory (Q4351926):
Displayed 5 items.
- A strong model of paraconsistent logic (Q558738) (← links)
- Addendum and corrigendum: ``Choice principle in hyperuniverses'' (Q1295374) (← links)
- Inconsistency of the Axiom of Choice with the positive theory (Q2710618) (← links)
- On the Consistency of a Positive Theory (Q4238430) (← links)
- A topological set theory implied by ZF and GPK<sup>+</sup><sub>∞</sub> (Q4907838) (← links)