The following pages link to A quasi-intumonistic set theory (Q5659531):
Displaying 9 items.
- 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)
- Constructive Ackermann's interpretation (Q2120969) (← links)
- Global quantification in Zermelo-Fraenkel set theory (Q3744155) (← links)
- On existence proofs of Hanf numbers (Q4044565) (← links)
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934) (← links)
- The disjunction and related properties for constructive Zermelo-Fraenkel set theory (Q5486250) (← links)
- THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC (Q6203558) (← links)
