Timeline for Scott topology: Suprema of sequences are topological limits
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 30, 2023 at 13:28 | vote | accept | Bob | ||
| Jan 27, 2023 at 16:18 | comment | added | Iosif Pinelis | @Bob : The dcpo $(-\infty,0]$ with its natural order is a "continuous domain", according to Definition 2.2.6 in Samson Abramsky, Achim Jung (1994). "Domain theory" (PDF). In S. Abramsky; D. M. Gabbay; T. S. E. Maibaum (eds.). Handbook of Logic in Computer Science. Vol. III. Oxford University Press. pp. 1–168. ISBN 0-19-853762-X, cs.bham.ac.uk/~axj/pub/papers/handy1.pdf. However, the statement in the paper linked in your post is clearly incorrect even for $(-\infty,0]$ (as also mentioned in my Brief answer). | |
| Jan 26, 2023 at 17:56 | history | edited | Iosif Pinelis | CC BY-SA 4.0 |
added 19 characters in body
|
| Jan 26, 2023 at 17:33 | comment | added | Bob | I now understand that the statement in the linked paper is incorrect in general. However, isn't it correct if the partial order is a domain (instead of only a dcpo)? | |
| Jan 26, 2023 at 4:58 | history | edited | Iosif Pinelis | CC BY-SA 4.0 |
added 383 characters in body
|
| Jan 26, 2023 at 4:26 | history | edited | Iosif Pinelis | CC BY-SA 4.0 |
deleted 2 characters in body
|
| Jan 26, 2023 at 3:51 | history | answered | Iosif Pinelis | CC BY-SA 4.0 |