Pages that link to "Item:Q5253934"
From MaRDI portal
The following pages link to Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934):
Displaying 15 items.
- Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience (Q386630) (← links)
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- From the weak to the strong existence property (Q448335) (← links)
- The scope of Feferman's semi-intuitionistic set theories and his second conjecture (Q1740613) (← links)
- Independence results around constructive ZF (Q1765158) (← links)
- Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe (Q1861330) (← links)
- Canonical form of Tarski sets in Zermelo-Fraenkel set theory (Q2387851) (← links)
- Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory (Q2566070) (← links)
- What is the theory ZFC without power set? (Q2827952) (← links)
- Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory (Q3305554) (← links)
- The cumulative hierarchy and the constructible universe of ZFA (Q4458705) (← links)
- Types for Proofs and Programs (Q5897610) (← links)
- Choice and independence of premise rules in intuitionistic set theory (Q6109095) (← links)
- Constructing the constructible universe constructively (Q6145038) (← links)
- Power Kripke-Platek set theory and the axiom of choice (Q6296071) (← links)
