Separating domains from algebraic domains
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866910906248593408 |
|---|---|
| author | Jia, Xiaodong Li, Qingguo Luan, Wei |
| author_facet | Jia, Xiaodong Li, Qingguo Luan, Wei |
| contents | We prove that every domain that fails to be algebraic admits the unit interval $[0, 1]$ as its Scott-continuous retract. As a result, every countable domain is algebraic. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_04189 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Separating domains from algebraic domains Jia, Xiaodong Li, Qingguo Luan, Wei General Topology Logic in Computer Science We prove that every domain that fails to be algebraic admits the unit interval $[0, 1]$ as its Scott-continuous retract. As a result, every countable domain is algebraic. |
| title | Separating domains from algebraic domains |
| topic | General Topology Logic in Computer Science |
| url | https://arxiv.org/abs/2504.04189 |