Locatedness and overt sublocales (Q638474): Difference between revisions

@@ Property / arXiv ID @@
+math/0703561
@@ Property / arXiv ID: math/0703561 / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of general topology in constructive set theory
+Normal rank
@@ Property / cites work @@
+On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology
+Normal rank
@@ Property / cites work @@
+Q5718570
@@ Property / cites work: Q5718570 / rank @@
+Normal rank
@@ Property / cites work @@
+Compactification of Frames
@@ Property / cites work: Compactification of Frames / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Geometric Intuition and Elementary Constructive Analysis
+Normal rank
@@ Property / cites work @@
+Almost locatedness in uniform spaces
@@ Property / cites work: Almost locatedness in uniform spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Apartness, compactness and nearness
@@ Property / cites work: Apartness, compactness and nearness / rank @@
+Normal rank
@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944905
@@ Property / cites work: Q4944905 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive proof of the Heine-Borel covering theorem for formal reals
+Normal rank
@@ Property / cites work @@
+About Stone's notion of spectrum
@@ Property / cites work: About Stone's notion of spectrum / rank @@
+Normal rank
@@ Property / cites work @@
+Metric complements of overt closed sets
@@ Property / cites work: Metric complements of overt closed sets / rank @@
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems
+Normal rank
@@ Property / cites work @@
+Integrals and valuations
@@ Property / cites work: Integrals and valuations / rank @@
+Normal rank
@@ Property / cites work @@
+On the collection of points of a formal space
@@ Property / cites work: On the collection of points of a formal space / rank @@
+Normal rank
@@ Property / cites work @@
+Exact approximations to Stone-Čech compactification
+Normal rank
@@ Property / cites work @@
+Remarks on the Stone-Čech and Alexandroff compactifications of locales
+Normal rank
@@ Property / cites work @@
+Q3322099
@@ Property / cites work: Q3322099 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3863865
@@ Property / cites work: Q3863865 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionism. An introduction
@@ Property / cites work: Intuitionism. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3942026
@@ Property / cites work: Q3942026 / rank @@
+Normal rank
@@ Property / cites work @@
+Locating subsets of a Hilbert space
@@ Property / cites work: Locating subsets of a Hilbert space / rank @@
+Normal rank
@@ Property / cites work @@
+Locating subsets of a normed space
@@ Property / cites work: Locating subsets of a normed space / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3322276
@@ Property / cites work: Q3322276 / rank @@
+Normal rank
@@ Property / cites work @@
+The ``closed subgroup theorem'' for localic herds and pregroupoids
+Normal rank
@@ Property / cites work @@
+Q4828514
@@ Property / cites work: Q4828514 / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of the Galois theory of Grothendieck
@@ Property / cites work: An extension of the Galois theory of Grothendieck / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal systems for some branches of intuitionistic analysis
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Open subspaces of locally compact metric spaces
@@ Property / cites work: Open subspaces of locally compact metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5181669
@@ Property / cites work: Q5181669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440525
@@ Property / cites work: Q4440525 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous domains as formal spaces
@@ Property / cites work: Continuous domains as formal spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718569
@@ Property / cites work: Q5718569 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive and functorial embedding of locally compact metric spaces into locales
+Normal rank
@@ Property / cites work @@
+Open sublocales of localic completions
@@ Property / cites work: Open sublocales of localic completions / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized real numbers in constructive mathematics
+Normal rank
@@ Property / cites work @@
+Q4702081
@@ Property / cites work: Q4702081 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoints and the image of the ball
@@ Property / cites work: Adjoints and the image of the ball / rank @@
+Normal rank
@@ Property / cites work @@
+Q3481701
@@ Property / cites work: Q3481701 / rank @@
+Normal rank
@@ Property / cites work @@
+Some points in formal topology.
@@ Property / cites work: Some points in formal topology. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+Located Operators
@@ Property / cites work: Located Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Weak compactness in constructive spaces
@@ Property / cites work: Weak compactness in constructive spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Proper maps of locales
@@ Property / cites work: Proper maps of locales / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive points of powerlocales
@@ Property / cites work: Constructive points of powerlocales / rank @@
+Normal rank
@@ Property / cites work @@
+Localic completion of generalized metric spaces II: Powerlocales
+Normal rank
@@ Property / cites work @@
+Q5701012
@@ Property / cites work: Q5701012 / rank @@
+Normal rank
@@ Property / cites work @@
+Compactness in locales and in formal topology
@@ Property / cites work: Compactness in locales and in formal topology / rank @@
+Normal rank
@@ Property / cites work @@
+Sublocales in formal topology
@@ Property / cites work: Sublocales in formal topology / rank @@
+Normal rank