Pages that link to "Item:Q3616432"
From MaRDI portal
The following pages link to A Brief Introduction to Algebraic Set Theory (Q3616432):
Displaying 8 items.
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Aspects of predicative algebraic set theory. II: Realizability (Q534701) (← links)
- Modality and possibility in some intuitionistic modal logics (Q1099162) (← links)
- A universal algebraic set theory built on mereology with applications (Q2169135) (← links)
- 2009 North American Annual Meeting of the Association for Symbolic Logic (Q3655269) (← links)
- A Unified Approach to Algebraic Set Theory (Q3656421) (← links)
- CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FOR<i>ABSTRACT</i>MATHEMATICS (Q4918378) (← links)
- (Q5094128) (← links)