Apartness, sharp elements, and the Scott topology of domains
(2023)
Journal Article
de Jong, T. (2023). Apartness, sharp elements, and the Scott topology of domains. Mathematical Structures in Computer Science, 33(7), 573-604. https://doi.org/10.1017/S0960129523000282
Working constructively, we study continuous directed complete posets (dcpos) and the Scott topology. Our two primary novelties are a notion of intrinsic apartness and a notion of sharp elements. Being apart is a positive formulation of being unequal,... Read More about Apartness, sharp elements, and the Scott topology of domains.