A -labeled -poset is an (at most) countable set, labeled in the set , equipped with partial orders. The collection of all -labeled -posets is naturally equipped with binary product operations and -ary product operations. Moreover, the -ary product operations give rise to
A Σ-labeled n-poset is an (at most) countable set, labeled in the set Σ, equipped with n partial orders. The collection of all Σ-labeled n-posets is naturally equipped with n binary product operations and nω-ary product operations. Moreover, the ω-ary product operations give rise to nω-power operations. We show that those Σ-labeled n-posets that can be generated from the singletons by the binary and ω-ary product operations form the free algebra on Σ in a variety axiomatizable by an infinite collection...
We introduce two unary operators G and H on a relatively pseudocomplemented lattice which form an algebraic axiomatization of the tense quantifiers “it is always going to be the case that” and “it has always been the case that”. Their axiomatization is an extended version for the classical logic and it is in accordance with these operators on many-valued Łukasiewicz logic. Finally, we get a general construction of these tense operators on complete relatively pseudocomplemented lattice which is a...
The clone lattice Cl(X) over an infinite set X is a complete algebraic lattice with compact elements. We show that every algebraic lattice with at most compact elements is a complete sublattice of Cl(X).
A DC-space (or space of dense constancies) is a Tychonoff space such that for each there is a family of open sets , the union of which is dense in , such that , restricted to each , is constant. A number of characterizations of DC-spaces are given, which lead to an algebraic generalization of the concept, which, in turn, permits analysis of DC-spaces in the language of archimedean -algebras. One is led naturally to the notion of an almost DC-space (in which the densely constant functions...
We prove some properties of quasi-local Ł-algebras. These properties allow us to give a structure theorem for Stonean quasi-local Ł-algebras. With this characterization we are able to exhibit an example which provides a negative answer to the first problem posed in [4].