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):
Displaying 16 items.
- The iterative conception of set. A (bi-)modal axiomatisation (Q380997) (← links)
- Derived rules for predicative set theory: an application of sheaves (Q448333) (← links)
- Constructive toposes with countable sums as models of constructive set theory (Q448336) (← 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)
- Are there enough injective sets? (Q2377052) (← links)
- Constructive order theory (Q2720327) (← links)
- (Q3059443) (← links)
- (Q3329454) (← links)
- Generic Families and Models of Set Theory with the Axiom of Choice (Q3826548) (← links)
- The elementary construction of formal anafunctors (Q5077345) (← links)
- (Q5094144) (← links)
- MULTIPLE CHOICES IMPLY THE INGLETON AND KREIN–MILMAN AXIOMS (Q5107237) (← links)
- CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES (Q5207556) (← links)
- (Q5494237) (← links)