The following pages link to (Q3866108):
Displayed 12 items.
- From the weak to the strong existence property (Q448335) (← links)
- Effectivity properties of intuitionistic set theory with collection scheme (Q650477) (← links)
- Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets (Q722147) (← links)
- Large sets in intuitionistic set theory (Q796524) (← links)
- The lack of definable witnesses and provably recursive functions in intuitionistic set theories (Q1071017) (← links)
- Realizability and recursive set theory (Q1094418) (← links)
- Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory (Q1938396) (← links)
- Numerical existence property and categories with an internal copy (Q2198319) (← links)
- Characterizing the interpretation of set theory in Martin-Löf type theory (Q2500469) (← links)
- Realisability for infinitary intuitionistic set theory (Q2700803) (← links)
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) (Q5884255) (← links)
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY (Q6095977) (← links)