Pages that link to "Item:Q3480030"
From MaRDI portal
The following pages link to The consistency problem for positive comprehension principles (Q3480030):
Displaying 16 items.
- A strong model of paraconsistent logic (Q558738) (← links)
- A general construction of hyperuniverses (Q1351794) (← links)
- Models for a paraconsistent set theory (Q1775861) (← links)
- Choice principles in hyperuniverses (Q1919525) (← links)
- Optimizing water tanks in water distribution systems by combining network reduction, mathematical optimization and hydraulic simulation (Q2011828) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 (Q2732529) (← links)
- On a positive set theory with inequality (Q3096082) (← links)
- Forcing with the Anti-Foundation axiom (Q3117780) (← links)
- Positive abstraction and extensionality (Q3160572) (← links)
- Implementing Cantor’s Paradise (Q3179294) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- On the Consistency of a Positive Theory (Q4238430) (← links)
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 (Q4678940) (← links)
- 2003 Annual Conference of the Australasian Association for Logic (Q4678942) (← links)
- A topological set theory implied by ZF and GPK<sup>+</sup><sub>∞</sub> (Q4907838) (← links)
- Processes and hyperuniverses (Q5096893) (← links)
