The following pages link to (Q5384979):
Displaying 8 items.
- From the weak to the strong existence property (Q448335) (← links)
- Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets (Q722147) (← links)
- Hybrids of the \({}^ \times \)-translation for \(\mathsf{CZF}^{\omega}\) (Q946579) (← links)
- Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory (Q1938396) (← links)
- CZF does not have the existence property (Q2637709) (← links)
- Realisability for infinitary intuitionistic set theory (Q2700803) (← links)
- Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory (Q3305554) (← links)
- Choice and independence of premise rules in intuitionistic set theory (Q6109095) (← links)