Pages that link to "Item:Q2575769"
From MaRDI portal
The following pages link to Heyting-valued interpretations for constructive set theory (Q2575769):
Displaying 16 items.
- Derived rules for predicative set theory: an application of sheaves (Q448333) (← links)
- Topological inductive definitions (Q450944) (← links)
- Generalizing realizability and Heyting models for constructive set theory (Q651324) (← links)
- The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- Kripke models for subtheories of \textsf{CZF} (Q2267746) (← links)
- Regular universes and formal spaces (Q2575774) (← links)
- On Tarski’s fixed point theorem (Q2944797) (← links)
- Lawvere–Tierney sheaves in Algebraic Set Theory (Q3399181) (← links)
- On some peculiar aspects of the constructive theory of point-free spaces (Q3583800) (← links)
- ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS (Q4579809) (← links)
- SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II (Q5207562) (← links)
- Sublocales in formal topology (Q5294021) (← links)
- A cumulative hierarchy of sets for constructive set theory (Q5404160) (← links)
- The generalised type-theoretic interpretation of constructive set theory (Q5477624) (← links)
- LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION (Q5858930) (← links)
