Non-Hausdorff topology and domain theory. Selected topics in point-set topology

DOI10.1017/CBO9781139524438zbMATH Open1280.54002OpenAlexW438549760MaRDI QIDQ4914616FDOQ4914616

Authors: Jean Goubault-Larrecq 

Publication date: 15 April 2013

Full work available at URL: https://doi.org/10.1017/cbo9781139524438

Recommendations

• A course in point set topology
• scientific article; zbMATH DE number 5815627
• Topology. An introduction
• scientific article; zbMATH DE number 1148265
• Topology with applications. Topological spaces via near and far

zbMATH Keywords

metric spacescompletenessspectral spacesdomain theorystably compact spacespoint-set topologynon-Hausdorff topologyformal ballsHofmann-Mislove Theoremquasi-metricsSmyth-completenessYoneda-completenesscompact pospacesChoquet-completenesssobernessasymmetric metrics

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to general topology (54-02) Metric spaces, metrizability (54E35) Fairly general properties of topological spaces (54D99)

Cited In (only showing first 100 items - show all)

• The Wadge order on the Scott domain is not a well-quasi-order
• Topologies generated by families of sets and strong poset models
• Local Yoneda completions of quasi-metric spaces
• The Ho-Zhao problem
• Bounded complete domains and their logical form
• Some notes on spaces of ideals and computable topology
• Reconstructing étale groupoids from semigroups
• Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks
• Representations of stably continuous semi-lattices by information systems and abstract bases
• Countably sober spaces
• The relationships between KM-fuzzy quasi-metric spaces and the associated posets of formal balls
• Yoneda completion via a dcpo completion of its poset of formal balls
• On topological spaces that have a bounded complete dcpo model
• Risk excess measures induced by hemi-metrics
• Dcpo models of Choquet complete and Baire spaces
• The monad on strong quasi-metric spaces
• The fixed-point property for represented spaces
• Products and projective limits of continuous valuations on \(T_0\) spaces
• Maximal point spaces of dcpos satisfying the Lawson condition
• \(C_\sigma\)-unique dcpos and non-maximality of the class of dominated dcpos regarding \(\Gamma\)-faithfulness
• Quasi-continuous Yoneda complete quasi-metric space
• Some results on poset models consisting of compact saturated subsets
• The duality theory of general \(\mathcal{Z}\)-continuous posets
• Exponentiable streams and prestreams
• On the spectralization of affine and perfectly normal spaces
• Characterization of posets for liminf convergence being topological
• Residuated implications derived from quasi-overlap functions on lattices
• Some characterizations of weak sobriety and upper spaces
• A comparative study of ideals in fuzzy orders
• Continuous L-domains in logical form
• Alexandroff topologies and monoid actions
• Languages and models for hybrid automata: a coalgebraic perspective
• Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains
• Kantorovich-Rubinstein quasi-metrics. III: Spaces of sublinear and superlinear previsions
• \((q_1,q_2)\)-quasimetrics bi-Lipschitz equivalent to 1-quasimetrics
• Domain-complete and LCS-complete spaces
• Title not available (Why is that?)
• A note on coherence of dcpos
• Lawson compactness on function spaces of pointed quasicontinuous domains with property \(M\)
• On some kinds of weakly sober spaces
• Formal ball monads
• On function spaces related to \(d\)-spaces
• Existence of well-filterifications of \(T_0\) topological spaces
• A representation of FS-domains by formal concept analysis
• \(L\)-valued quasi-overlap functions, \(L\)-valued overlap index, and Alexandroff's topology
• Two topologies on the lattice of Scott closed subsets
• Uniqueness of directed complete posets based on Scott closed set lattices
• Core-compactness, consonance and the Smyth powerspaces
• Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations
• Lower topological algebraic domain models of topological spaces
• Topological semigroups and their prequantale models
• Weak well-filtered spaces and coherence
• Entropy conservation for comparison-based algorithms
• A non-Hausdorff minimax theorem
• Title not available (Why is that?)
• Limits in categories of Vietoris coalgebras
• Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
• First-countability, \( \omega \)-Rudin spaces and well-filtered determined spaces
• \textit{SI}-convergence in \(T_0\) spaces
• Some open problems on well-filtered spaces and sober spaces
• On the equivalence of Rudin's lemma and the Boolean prime ideal theorem
• Characterization of \(T_0\) spaces for liminf convergence being topological
• On Fixed Point Theory in Partially Ordered (Quasi-)metric Spaces and an Application to Complexity Analysis of Algorithms
• The probabilistic powerdomain from a topological viewpoint
• Formal balls in fuzzy quasi-metric spaces
• Distance domains: continuity
• Fixed points and Noetherian topologies
• Complements of convex topologies on products of finite totally ordered spaces
• Sober is not always co-sober
• A new dcpo whose Scott topology is well-filtered but not sober
• Grätzer-Hofmann-Lawson-Jung-Sünderhauf duality
• The answer to a problem posed by Zhao and Ho
• Reverse mathematics, well-quasi-orders, and Noetherian spaces
• QRB, QFS, and the probabilistic powerdomain
• Binary metrics
• Scott approach distance on metric spaces
• General non-commutative locally compact locally Hausdorff Stone duality
• Well-filtered spaces, compactness, and the lower topology
• Lattice-equivalence of convex spaces
• On quasi-metrizable \(d\)-spaces
• Sheaves and duality
• Forward analysis for WSTS, part I: completions
• Distance domains: completeness
• Ekeland variational principle and its equivalents in T₁-quasi-uniform spaces
• Maximal point spaces of closed interval posets
• Irreducible convergence in \(T_0\) spaces
• First countability, \( \omega \)-well-filtered spaces and reflections
• A logic for Lawson compact algebraic L-domains
• Chains in partially ordered spaces
• Weakly weighted generalised quasi-metric spaces and semilattices
• Coincidence of the upper Vietoris topology and the Scott topology
• On \(T_0\) spaces determined by well-filtered spaces
• On H-sober spaces and H-sobrifications of \(T_0\) spaces
• Sober Scott spaces are not always co-sober
• On some results related to sober spaces
• Continuity of function spaces from pointwise directed families of characteristic functions.
• A direct approach to \(K\)-reflections of \(T_0\) spaces
• On topological Rudin's lemma, well-filtered spaces and sober spaces
• Transporting continuity properties from a poset to its subposets
• On well-filtered spaces and ordered sets

This page was built for publication: Non-Hausdorff topology and domain theory. Selected topics in point-set topology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4914616)