论文信息 - The completeness characterization of C ( L ) , L a locale

The completeness characterization of C ( L ) , L a locale

The result of the title is: an archimedean (cid:2) -group with weak unit A is (isomorphic to) C ( L ) for some (identiﬁable) locale L (or, R L op , L op the opposite frame) iff A is divisible and “ ∗ -complete,” (a type of sequential completeness). This is from Ball and Hager (Positivity 10:165–199, 2006), and is revisited here, with streamlined proof.

A. Hager | R. Ball

[1] B. Banaschewski,et al. Representation of $H$-closed monoreflections in archimedean $ell$-groups with weak unit , 2018, Categories and General Algebraic Structures with Application.

[2] A. Hager,et al. A New Characterization of the Continuous Functions on a Locale , 2006 .

[3] A. Hager,et al. Algebraic extensions of an archimedean lattice-ordered group, I , 1993 .

[4] A. Hager,et al. On the localic Yosida representation of an archimedean lattice ordered group with weak order unit , 1991 .

[5] J. Vermeer,et al. Epicomplete archimedean l-groups via a localic Yosida theorem☆ , 1990 .

[6] John R. Isbell,et al. Atomless Parts of Spaces. , 1972 .

[7] C. Goffman. A class of lattice ordered algebras , 1958 .

[8] A. Hager. The Relatively Uniform Completion, Epimorphisms and Units, in Divisible Archimedean L-Groups , 2015 .

[9] J. Madden. FRAMES ASSOCIATED WITH AN ABELIAN /-GROUP , 2009 .

[10] R. Ball,et al. C- and C*-quotients in pointfree topology , 2002 .

[11] A. Hager,et al. Convex vector lattices and l-algebras☆ , 1981 .

[12] J. Isbell,et al. Residue class fields of lattice-ordered algebras , 1961 .