Pages that link to "Item:Q3726114"
From MaRDI portal
The following pages link to Forcing in intuitionistic systems without power-set (Q3726114):
Displaying 12 items.
- A reduction theorem for the Kripke-Joyal semantics: forcing over an arbitrary category can always be replaced by forcing over a complete Heyting algebra (Q382416) (← links)
- Derived rules for predicative set theory: an application of sheaves (Q448333) (← links)
- Proving properties of typed \(\lambda\)-terms using realizability, covers, and sheaves (Q673628) (← links)
- A constructive and functorial embedding of locally compact metric spaces into locales (Q881455) (← links)
- The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
- Growth functions on Fuchsian groups and the Euler characteristic (Q1086358) (← links)
- Wellfounded trees in categories (Q1577483) (← links)
- Growth series for the group \(\langle x,y\mid x^{-1}yx=y^ l\rangle\) (Q1842010) (← links)
- Heyting-valued interpretations for constructive set theory (Q2575769) (← links)
- On some peculiar aspects of the constructive theory of point-free spaces (Q3583800) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
- Intuitive counterexamples for constructive fallacies (Q5096872) (← links)