We introduce the concept of quasi-hyperalgebraic lattice and prove that a complete lattice is a Priestley space with respect to the interval topology if and only if it is quasi-hyperalgebraic. Some characterizations o...We introduce the concept of quasi-hyperalgebraic lattice and prove that a complete lattice is a Priestley space with respect to the interval topology if and only if it is quasi-hyperalgebraic. Some characterizations of quasi-hyperalgebraic lattices are presented. We also prove that the Smyth powerdomain of a quasi-hyperalgebraic lattice is hyperalgebraic.展开更多
For a continuous domain D, some characterization that the convex powerdomain CD is adomain hull of Max(CD) is given in terms of compact subsets of D. And in this case, it isproved that the set of the maximal points Ma...For a continuous domain D, some characterization that the convex powerdomain CD is adomain hull of Max(CD) is given in terms of compact subsets of D. And in this case, it isproved that the set of the maximal points Max(CD) of CD with the relative Scott topology ishomeomorphic to the set of all Scott compact subsets of Max(D) with the topology induced bythe Hausdorff metric derived from a metric on Max(D) when Max(D) is metrizable.展开更多
基金Supported by NSFC(10331010)Research Fund for the Doctoral Program of Higher Education
文摘We introduce the concept of quasi-hyperalgebraic lattice and prove that a complete lattice is a Priestley space with respect to the interval topology if and only if it is quasi-hyperalgebraic. Some characterizations of quasi-hyperalgebraic lattices are presented. We also prove that the Smyth powerdomain of a quasi-hyperalgebraic lattice is hyperalgebraic.
基金Project supported by the National Natural Science Foundation of Chian(No.19831040),the Doctoral Programme Foundation of the Ministry of Education of China(No.2000061019)and the 973 Project by the Science Commission of China.
文摘For a continuous domain D, some characterization that the convex powerdomain CD is adomain hull of Max(CD) is given in terms of compact subsets of D. And in this case, it isproved that the set of the maximal points Max(CD) of CD with the relative Scott topology ishomeomorphic to the set of all Scott compact subsets of Max(D) with the topology induced bythe Hausdorff metric derived from a metric on Max(D) when Max(D) is metrizable.
