The following pages link to (Q5477363):
Displaying 19 items.
- From the weak to the strong existence property (Q448335) (← links)
- Aspects of predicative algebraic set theory. II: Realizability (Q534701) (← 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)
- Hybrids of the \({}^ \times \)-translation for \(\mathsf{CZF}^{\omega}\) (Q946579) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory (Q1938396) (← links)
- Induction, constructivity, and grounding (Q1981997) (← links)
- Constructive Ackermann's interpretation (Q2120969) (← links)
- CZF does not have the existence property (Q2637709) (← links)
- Realisability for infinitary intuitionistic set theory (Q2700803) (← links)
- On Tarski’s fixed point theorem (Q2944797) (← links)
- On some peculiar aspects of the constructive theory of point-free spaces (Q3583800) (← links)
- ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS (Q5015728) (← links)
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934) (← links)
- LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION (Q5858930) (← links)
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY (Q6095977) (← links)
- Choice and independence of premise rules in intuitionistic set theory (Q6109095) (← links)
