Apartness, sharp elements, and the Scott topology of domains
(2023)
Journal Article
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.