The following pages link to (Q3214890):
Displaying 13 items.
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- From the weak to the strong existence property (Q448335) (← links)
- Aspects of predicative algebraic set theory. II: Realizability (Q534701) (← links)
- Intermediate logics and the de Jongh property (Q627438) (← links)
- Generalizing realizability and Heyting models for constructive set theory (Q651324) (← links)
- Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets (Q722147) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- The scope of Feferman's semi-intuitionistic set theories and his second conjecture (Q1740613) (← links)
- Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory (Q1938396) (← links)
- Models of intuitionistic set theory in subtoposes of nested realizability toposes (Q2344624) (← links)
- CZF does not have the existence property (Q2637709) (← links)
- Realisability for infinitary intuitionistic set theory (Q2700803) (← links)
- Rules and arithmetics (Q5937848) (← links)
