Pages that link to "Item:Q2566070"
From MaRDI portal
The following pages link to Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory (Q2566070):
Displaying 4 items.
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934) (← links)
- In Praise of Replacement (Q5388757) (← links)
- The generalised type-theoretic interpretation of constructive set theory (Q5477624) (← links)
