One of Rosolini’s landmark discoveries is the notion of dominance. Recently, Takayuki Kihara extended Hyland’s embedding of Turing degrees into the set of Lawvere-Tierney topologies in the effective topos. Can this be extended to the set of dominances?

Updated: