The following pages link to CZF and second order arithmetic (Q2498896):
Displaying 11 items.
- Topological forcing semantics with settling (Q408537) (← links)
- Topological inductive definitions (Q450944) (← links)
- Aspects of predicative algebraic set theory. II: Realizability (Q534701) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- Independence results around constructive ZF (Q1765158) (← links)
- Kripke models for subtheories of \textsf{CZF} (Q2267746) (← links)
- On Tarski’s fixed point theorem (Q2944797) (← links)
- Extending constructive operational set theory by impredicative principles (Q3008060) (← links)
- On the existence of Stone-Čech compactification (Q3066786) (← links)
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934) (← links)
- Choice and independence of premise rules in intuitionistic set theory (Q6109095) (← links)
