Pages that link to "Item:Q2575763"
From MaRDI portal
The following pages link to Aspects of general topology in constructive set theory (Q2575763):
Displaying 37 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)
- Embedding locales and formal topologies into positive topologies (Q1756486) (← links)
- Non-deterministic inductive definitions (Q1935375) (← links)
- A comparison of two topos-theoretic approaches to quantum theory (Q1936655) (← links)
- Towards formal Baer criteria (Q2099403) (← links)
- Chu duality theory and coalgebraic representation of quantum symmetries (Q2125156) (← links)
- Equivalents of the finitary non-deterministic inductive definitions (Q2311215) (← 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)
- Radical theory of Scott-open filters (Q2682912) (← links)
- The axiom of multiple choice and models for constructive set theory (Q2878782) (← links)
- On Tarski’s fixed point theorem (Q2944797) (← links)
- A point-free characterisation of Bishop locally compact metric spaces (Q2987776) (← 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)
- ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS (Q4579809) (← links)
- Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
- The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
- Formally continuous functions on Baire space (Q5109223) (← links)
- Generalized geometric theories and set-generated classes (Q5740664) (← links)
- Completeness and cocompleteness of the categories of basic pairs and concrete spaces (Q5740674) (← links)
- Maximal elements with minimal logic (Q6161463) (← links)
- Some further results on pointfree convex geometry (Q6193270) (← links)
- A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)
