Choice-free dualities for domains (Q328639): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / review text
 
This paper concentrates on domain theory. The author demonstrates many constructions and results extending the general setting of so-called \(\zeta\)-domains, which cover the cases of continuous, algebraic, hypercontinuous and hyperalgebraic domains. Especially, we observe that many of the known facts remain valid for this more flexible notion of \(\zeta\)-domains. The author pursues to the request of order-theoretical and topological notions, and this goal is realised in the following cases: a `topological' one, using a description of continuous domains as locally supercompact sober spaces, a `spectral' one, describing the \(\delta\)-domains as spectra of bispatial supercontinuous lattices, and a `computational' one, working directly with open filters.
Property / review text: This paper concentrates on domain theory. The author demonstrates many constructions and results extending the general setting of so-called \(\zeta\)-domains, which cover the cases of continuous, algebraic, hypercontinuous and hyperalgebraic domains. Especially, we observe that many of the known facts remain valid for this more flexible notion of \(\zeta\)-domains. The author pursues to the request of order-theoretical and topological notions, and this goal is realised in the following cases: a `topological' one, using a description of continuous domains as locally supercompact sober spaces, a `spectral' one, describing the \(\delta\)-domains as spectra of bispatial supercontinuous lattices, and a `computational' one, working directly with open filters. / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Barbara Pekala / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 06B35 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 06D50 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 06A15 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 18B30 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 06D10 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6641501 / rank
 
Normal rank
Property / zbMATH Keywords
 
algebraic domain
Property / zbMATH Keywords: algebraic domain / rank
 
Normal rank
Property / zbMATH Keywords
 
\((\zeta)\)-basis
Property / zbMATH Keywords: \((\zeta)\)-basis / rank
 
Normal rank
Property / zbMATH Keywords
 
choice principle
Property / zbMATH Keywords: choice principle / rank
 
Normal rank
Property / zbMATH Keywords
 
compact domain
Property / zbMATH Keywords: compact domain / rank
 
Normal rank
Property / zbMATH Keywords
 
\((\zeta)\)-continuous domain
Property / zbMATH Keywords: \((\zeta)\)-continuous domain / rank
 
Normal rank
Property / zbMATH Keywords
 
\((\zeta)\)-domain
Property / zbMATH Keywords: \((\zeta)\)-domain / rank
 
Normal rank
Property / zbMATH Keywords
 
duality
Property / zbMATH Keywords: duality / rank
 
Normal rank
Property / zbMATH Keywords
 
open filter
Property / zbMATH Keywords: open filter / rank
 
Normal rank
Property / zbMATH Keywords
 
supercompact space
Property / zbMATH Keywords: supercompact space / rank
 
Normal rank
Property / zbMATH Keywords
 
supercontinuous lattice
Property / zbMATH Keywords: supercontinuous lattice / rank
 
Normal rank

Revision as of 03:34, 28 June 2023

scientific article
Language Label Description Also known as
English
Choice-free dualities for domains
scientific article

    Statements

    Choice-free dualities for domains (English)
    0 references
    0 references
    20 October 2016
    0 references
    This paper concentrates on domain theory. The author demonstrates many constructions and results extending the general setting of so-called \(\zeta\)-domains, which cover the cases of continuous, algebraic, hypercontinuous and hyperalgebraic domains. Especially, we observe that many of the known facts remain valid for this more flexible notion of \(\zeta\)-domains. The author pursues to the request of order-theoretical and topological notions, and this goal is realised in the following cases: a `topological' one, using a description of continuous domains as locally supercompact sober spaces, a `spectral' one, describing the \(\delta\)-domains as spectra of bispatial supercontinuous lattices, and a `computational' one, working directly with open filters.
    0 references
    algebraic domain
    0 references
    \((\zeta)\)-basis
    0 references
    choice principle
    0 references
    compact domain
    0 references
    \((\zeta)\)-continuous domain
    0 references
    \((\zeta)\)-domain
    0 references
    duality
    0 references
    open filter
    0 references
    supercompact space
    0 references
    supercontinuous lattice
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references