Closed and open sets in topologies induced by lattice ordered vector groups
In this paper we prove that the system of all closed convex -subgroups of a convergence -group is a Brouwer lattice and that a similar result is valid for radical classes of convergence -groups.
Let be a uniformly closed and locally m-convex -algebra. We obtain internal conditions on stated in terms of its closed ideals for to be isomorphic and homeomorphic to , the -algebra of all the real continuous functions on a normal topological space endowed with the compact convergence topology.
In this paper, the variety of closure n-valued Łukasiewicz algebras, that is, Łukasiewicz algebras of order n endowed with a closure operator, is investigated. The lattice of subvarieties in the particular case in which the open elements form a three-valued Heyting algebra is obtained.
We consider rings equipped with a closure operation defined in terms of a collection of commuting idempotents, generalising the idea of a topological closure operation defined on a ring of sets. We establish the basic properties of such rings, consider examples and construction methods, and then concentrate on rings which have a closure operation defined in terms of their lattice of central idempotents.
Coaxial filters and strongly coaxial filters are introduced in distributive lattices and some characterization theorems of -lattices are given in terms of co-annihilators. Some properties of coaxial filters of distributive lattices are studied. The concept of normal prime filters is introduced and certain properties of coaxial filters are investigated. Some equivalent conditions are derived for the class of all strongly coaxial filters to become a sublattice of the filter lattice.
Take finitely many topological spaces and for each pair of these spaces choose a pair of corresponding closed subspaces that are identified by a homeomorphism. We note that this gluing procedure does not guarantee that the building pieces, or the gluings of some pieces, are embedded in the space obtained by putting together all given ingredients. Dually, we show that a certain sufficient condition, called the cocycle condition, is also necessary to guarantee sheaf-like properties of surjective multi-pullbacks...
We investigate the structure of the Tukey ordering among directed orders arising naturally in topology and measure theory.
We introduce the notion of a coherent -ultrafilter on a complete ccc Boolean algebra, strengthening the notion of a -point on , and show that these ultrafilters exist generically under . This improves the known existence result of Ketonen [On the existence of -points in the Stone-Čech compactification of integers, Fund. Math. 92 (1976), 91–94]. Similarly, the existence theorem of Canjar [On the generic existence of special ultrafilters, Proc. Amer. Math. Soc. 110 (1990), no. 1, 233–241] can...