The following pages link to Power set recursion (Q1346246):
Displaying 5 items.
- 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)
- Characterizing the interpretation of set theory in Martin-Löf type theory (Q2500469) (← links)
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934) (← links)
- Constructing the constructible universe constructively (Q6145038) (← links)
