The truncation operation facilitates the articulation and analysis of several aspects of the structure of archimedean vector lattices; we investigate two such aspects in this article. We refer to archimedean vector lattices equipped with a truncation as truncs. In the first part of the article we review the basic definitions, state the (pointed) Yosida representation theorem for truncs, and then prove a representation theorem which subsumes and extends the (pointfree) Madden representation theorem....
We generalize a major portion of the classical theory of C- and C*-embedded subspaces to pointfree topology, where the corresponding notions are frame C- and C*-quotients. The central results characterize these quotients and generalize Urysohn's Extension Theorem, among others. The proofs require calculations in CL, the archimedean f-ring of frame maps from the topology of the reals into the frame L. We give a number of applications of the central results.
We describe the extension of the multiplication on a not-necessarily-discrete topological monoid to its flow compactification. We offer two applications. The first is a nondiscrete version of Hindman’s Theorem, and the second is a characterization of the projective minimal and elementary flows in terms of idempotents of the flow compactification of the monoid.
For Tychonoff and an infinite cardinal, let the minimum number of cozero-sets of the Čech-Stone compactification which intersect to (generalizing -defect), and let . Give the compact-open topology. It is shown that , where: is tightness; is the network character; is the Lindel"of number. For example, it follows that, for Čech-complete, . The (apparently new) cardinal functions and are compared with several others.
“The kernel functor” from the category of archimedean lattice-ordered groups with distinguished weak unit onto LFrm, of Lindelöf completely regular frames, preserves and reflects monics. In , monics are one-to-one, but not necessarily so in LFrm. An embedding for which is one-to-one is termed kernel-injective, or KI; these are the topic of this paper. The situation is contrasted with kernel-surjective and -preserving (KS and KP). The -objects every embedding of which is KI are characterized;...
is the category of spaces with filters: an object is a pair , a compact Hausdorff space and a filter of dense open subsets of . A morphism is a continuous function for which whenever . This category arises naturally from considerations in ordered algebra, e.g., Boolean algebra, lattice-ordered groups and rings, and from considerations in general topology, e.g., the theory of the absolute and other covers, locales, and frames, though we shall specifically address only...
We show that prohibiting a combinatorial tree in the Priestley duals determines an axiomatizable class of distributive lattices. On the other hand, prohibiting -crowns with does not. Given what is known about the diamond, this is another strong indication that this fact characterizes combinatorial trees. We also discuss varieties of 2-Heyting algebras in this context.
Download Results (CSV)