The following pages link to (Q5435636):
Displaying 5 items.
- Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience (Q386630) (← links)
- From the weak to the strong existence property (Q448335) (← links)
- The natural numbers in constructive set theory (Q5448619) (← links)
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY (Q6095977) (← links)
- THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC (Q6203558) (← links)
