Fan-Gottesman type compactification of frames
Filters and Simple Graphic Algebras.
Finite closed coverings of compact quantum spaces
We consider the poset of all non-empty finite subsets of the set of natural numbers, use the poset structure to topologise it with the Alexandrov topology, and call the thus obtained topological space the universal partition space. Then we show that it is a classifying space for finite closed coverings of compact quantum spaces in the sense that any such a covering is functorially equivalent to a sheaf over this partition space. In technical terms, we prove that the category of finitely supported...
Finite commutative monoids of open maps
Finite-distributive atomistic lattices
Finitely axiomatizable varieties of BCK-algebras.
Finitely generated almost universal varieties of -lattices
A concrete category is (algebraically) universal if any category of algebras has a full embedding into , and is almost universal if there is a class of -objects such that all non-constant homomorphisms between them form a universal category. The main result of this paper fully characterizes the finitely generated varieties of -lattices which are almost universal.
Finitely generated universal varieties of distributive double -algebras
Finite-to-finite universal varieties of distributive double -algebras
Finite-valued dually residuated lattice-ordered monoids
Fixed points with respect to the L-slice homomorphism
Given a locale and a join semilattice with bottom element , a new concept called -slice is defined,where is as an action of the locale on the join semilattice . The -slice adopts topological properties of the locale through the action . It is shown that for each , is an interior operator on .The collection is a Priestly space and a subslice of -. If the locale is spatial we establish an isomorphism between the -slices and . We have shown that the fixed set of ,...
Flexible niveloids
Folding theory applied to BL-algebras
The notion of n-fold grisly deductive systems is introduced. Some conditions for a deductive system to be an n-fold grisly deductive system are provided. Extension property for n-fold grisly deductive system is established.
Forbidden forests in Priestley spaces
Formalization of Generalized Almost Distributive Lattices
Almost Distributive Lattices (ADL) are structures defined by Swamy and Rao [14] as a common abstraction of some generalizations of the Boolean algebra. In our paper, we deal with a certain further generalization of ADLs, namely the Generalized Almost Distributive Lattices (GADL). Our main aim was to give the formal counterpart of this structure and we succeeded formalizing all items from the Section 3 of Rao et al.’s paper [13]. Essentially among GADLs we can find structures which are neither V-commutative...
Forme algébrique des théories de Stone-Gel'fand
Four notes on quasiorder lattices
Fractal construction of an atomic Archimedean effect algebra with non-atomic subalgebra of sharp elements
Does there exist an atomic Archimedean lattice effect algebra with non-atomic subalgebra of sharp elements? An affirmative answer to this question is given.
Frame monomorphisms and a feature of the -group of Baire functions on a topological space
“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;...
Frame tolerances are directly decomposable