Q5228883 (Q5228883): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5579535 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization / rank
 
Normal rank
Property / cites work
 
Property / cites work: Consonance and topological completeness in analytic spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Convenient Category of Domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the dissonance of some metrizable spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quasi-Polish spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Levels of discontinuity, limit-computability, and jump operators / rank
 
Normal rank
Property / cites work
 
Property / cites work: A generalization of a theorem of Hurewicz for quasi-Polish spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Base-complexity classifications of qcb0-spaces1 / rank
 
Normal rank
Property / cites work
 
Property / cites work: When do the Upper Kuratowski Topology (Homeomorphically, Scott Topology) and the Co-compact Topology Coincide? / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Hoare and Symth power domain constructors commute under composition / rank
 
Normal rank
Property / cites work
 
Property / cites work: Continuous Lattices and Domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-Hausdorff Topology and Domain Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lower and upper power domain constructions commute on all cpos / rank
 
Normal rank
Property / cites work
 
Property / cites work: An upper power domain construction in terms of strongly compact sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Spatiality of countably presentable locales (proved with the Baire category theorem) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3702938 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3978977 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4323294 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stone coalgebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: When does the Fell topology on a hyperspace of closed sets coincide with the meet of the upper Kuratowski and the lower Vietoris topologies? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4868226 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Data Types as Lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3316563 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3994458 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3156489 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A universal characterization of the double powerlocale / rank
 
Normal rank
Property / cites work
 
Property / cites work: Adjoint product and hom functors in general topology / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 03:31, 20 July 2024

scientific article; zbMATH DE number 7093560
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7093560

    Statements

    0 references
    0 references
    13 August 2019
    0 references
    powerspace
    0 references
    quasi-Polish space
    0 references
    Vietoris topology
    0 references
    consonant space
    0 references
    topology
    0 references
    domain theory
    0 references
    locale theory
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references