Pages that link to "Item:Q4351926"

The following pages link to An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory (Q4351926):

Displaying 6 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 \(\text{GPK}_\infty^+\) (Q2710618) (← links)
• The consistency problem for positive comprehension principles (Q3480030) (← links)
• On the Consistency of a Positive Theory (Q4238430) (← links)
• A topological set theory implied by ZF and GPK⁺_∞ (Q4907838) (← links)