Separating minimal valuations, point-continuous valuations, and continuous valuations
Separating minimal valuations, point-continuous valuations, and continuous valuations
Abstract We give two concrete examples of continuous valuations on dcpo’s to separate minimal valuations, point-continuous valuations, and continuous valuations: (1) Let ${\mathcal J}$ be the Johnstone’s non-sober dcpo, and μ be the continuous valuation on ${\mathcal J}$ with μ ( U )=1 for nonempty Scott opens U and μ …