Pages that link to "Item:Q4434505"
From MaRDI portal
The following pages link to On the regular extension axiom and its variants (Q4434505):
Displaying 6 items.
- The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
- Closed subsets in Bishop topological groups (Q2084948) (← links)
- Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory (Q2566070) (← links)
- On Tarski’s fixed point theorem (Q2944797) (← links)
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
- The generalised type-theoretic interpretation of constructive set theory (Q5477624) (← links)
