Pages that link to "Item:Q2878782"
From MaRDI portal
The following pages link to The axiom of multiple choice and models for constructive set theory (Q2878782):
Displayed 7 items.
- Derived rules for predicative set theory: an application of sheaves (Q448333) (← links)
- The weak choice principle WISC may fail in the category of sets (Q497424) (← links)
- On certain 2-categories admitting localisation by bicategories of fractions (Q726711) (← links)
- Non-deterministic inductive definitions (Q1935375) (← links)
- The elementary construction of formal anafunctors (Q5077345) (← links)
- (Q5094144) (← links)
- CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES (Q5207556) (← links)