Pages that link to "Item:Q4238430"
From MaRDI portal
The following pages link to On the Consistency of a Positive Theory (Q4238430):
Displaying 12 items.
- A disquotational theory of truth as strong as \(Z_2^-\) (Q496323) (← links)
- A strong model of paraconsistent logic (Q558738) (← links)
- Choice principles in hyperuniverses (Q1919525) (← links)
- Inconsistency of the axiom of choice with the positive theory \(\text{GPK}_\infty^+\) (Q2710618) (← links)
- THE ITERATIVE CONCEPTION OF SET (Q3580662) (← links)
- Relative Consistency of a Set Theory with Hyperclasses (Q3773871) (← links)
- An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory (Q4351926) (← links)
- (Q4663842) (← links)
- On topological set theory (Q4680372) (← links)
- On the axiom of extensionality in the positive set theory (Q4798209) (← links)
- Inconsistency of GPK + <i>AFA</i> (Q4868244) (← links)
- A topological set theory implied by ZF and GPK<sup>+</sup><sub>∞</sub> (Q4907838) (← links)