Pages that link to "Item:Q2575763"
From MaRDI portal
The following pages link to Aspects of general topology in constructive set theory (Q2575763):
Displayed 20 items.
- A predicative completion of a uniform space (Q424538) (← links)
- Derived rules for predicative set theory: an application of sheaves (Q448333) (← links)
- Topological inductive definitions (Q450944) (← links)
- On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology (Q636295) (← links)
- Fundamental results for pointfree convex geometry (Q636383) (← links)
- Locatedness and overt sublocales (Q638474) (← links)
- Two subcategories of apartness spaces (Q651317) (← links)
- A constructive and functorial embedding of locally compact metric spaces into locales (Q881455) (← links)
- Exact approximations to Stone-Čech compactification (Q882119) (← links)
- The Zariski spectrum as a formal geometry (Q949619) (← links)
- The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
- A topos for algebraic quantum theory (Q1048087) (← links)
- Non-deterministic inductive definitions (Q1935375) (← links)
- A comparison of two topos-theoretic approaches to quantum theory (Q1936655) (← links)
- Quasi-apartness and neighbourhood spaces (Q2498913) (← links)
- On the collection of points of a formal space (Q2575767) (← links)
- Maximal and partial points in formal spaces (Q2575773) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- On the existence of Stone-Čech compactification (Q3066786) (← links)
- On some peculiar aspects of the constructive theory of point-free spaces (Q3583800) (← links)