Choice-free dualities for domains (Q328639): Difference between revisions
From MaRDI portal
Created a new Item |
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
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