Year: 2025
Type: article
Abstract: We prove that every continuous domain that fails to be algebraic admits the unit interval as its Scott‐continuous retract; consequently, every countable continuous domain is algebraic and countable FS‐domains are RB‐domains.
DOI: 10.1112/blms.70227
Authors: Xiaodong Jia, Qingguo Li, Wei Luan
Institutions: Hunan University, Hunan Normal University
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
Awards: G4063780695, G5870735432, G8658881851
OpenAlex ID: W4415880902