Pages that link to "Item:Q1612481"
From MaRDI portal
The following pages link to Inaccessible set axioms may have little consistency strength (Q1612481):
Displaying 9 items.
- Inaccessibility in constructive set theory and type theory (Q1295396) (← links)
- Canonicity and normalization for dependent type theory (Q2422026) (← links)
- Quotient topologies in constructive set theory and type theory (Q2498911) (← links)
- Extending constructive operational set theory by impredicative principles (Q3008060) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
- Proof Theory of Constructive Systems: Inductive Types and Univalence (Q5214792) (← links)
- The disjunction and related properties for constructive Zermelo-Fraenkel set theory (Q5486250) (← links)
- PREDICATIVISM AS A FORM OF POTENTIALISM (Q5880421) (← links)