Models improved

A model of a space X is a dcpo Y whose subspace of maximal elements is isomorphic to X. Of particular importance are those spaces that have ω-continuous models. This topic is covered in Section 7.7.2 of the book. Martin [3], and Mummert and Stephan [1] came very close to characterize them exactly. See the full post.