Continuity of posets via Scott topology and sobrification (Q2493897): Difference between revisions

The author shows that a poset is a continuous poset if and only if its lattice of Scott-open sets is completely distributive. This generalizes the older version of this theorem proved independently by R.-E. Hoffmann and the reviewer for the case that the poset is a dcpo. (The two results are related since the sobrification of a continuous poset equipped with the Scott topology is a continuous dcpo equipped with the Scott topology.) The author also introduces the concept of an embedded basis and shows that a poset is continuous if and only if it is order isomorphic to an embedded basis of some domain, i.e., continuous dcpo.