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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Import241208061232 (talk | contribs)
Normalize DOI.
 
(6 intermediate revisions by 6 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s10485-016-9444-0 / rank
Normal rank
 
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
Property / MaRDI profile type
 
Property / MaRDI profile type: Publication / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s10485-016-9444-0 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2509246741 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5767704 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Regularity and complete distributivity / rank
 
Normal rank
Property / cites work
 
Property / cites work: The category of Z-continuous posets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3344249 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3940471 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3976464 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Dedekind-MacNeille completion as a reflector / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3138861 / rank
 
Normal rank
Property / cites work
 
Property / cites work: General Stone duality. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3595086 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Choiceless, pointless, but not useless: dualities for preframes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Infinite distributive laws versus local connectedness and compactness properties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finiteness conditions and distributive laws for Boolean algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: The strength of prime separation, sobriety, and compactness theorems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3898534 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Continuous Lattices and Domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalized continuous and hypercontinuous lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Axiom of choice / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Subdirect-Union Representation for Completely Distributive Complete Lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: The finiteness of compact Boolean algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4210469 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Completion of a Construction of Johnstone / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3965241 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3864573 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3975032 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Strongly Connected Sets in Topology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3975029 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3960633 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Frames and Locales / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3919705 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3905291 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3949664 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S10485-016-9444-0 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 15:32, 9 December 2024

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
    0 references