Characterization of matrix types of ultramatricial algebras.
If is a class of partially ordered sets, let denote the system of all posets which are isomorphic to the system of all intervals of for some We give an algebraic characterization of elements of for being the class of all bounded posets and the class of all posets satisfying the condition that for each there exist a minimal element and a maximal element with respectively.
The concept of a 0-distributive poset is introduced. It is shown that a section semicomplemented poset is distributive if and only if it is 0-distributive. It is also proved that every pseudocomplemented poset is 0-distributive. Further, 0-distributive posets are characterized in terms of their ideal lattices.
The -distributive semilattice is characterized in terms of semiideals, ideals and filters. Some sufficient conditions and some necessary conditions for -distributivity are obtained. Counterexamples are given to prove that certain conditions are not necessary and certain conditions are not sufficient.
We characterize totally ordered sets within the class of all ordered sets containing at least three-element chains using a simple relationship between their isotone transformations and the so called 2-, 3-, 4-endomorphisms which are introduced in the paper. Another characterization of totally ordered sets within the class of ordered sets of a locally finite height with at least four-element chains in terms of the regular semigroup theory is also given.
Węglorz' models are models for set theory without the axiom of choice. Each one is determined by an atomic Boolean algebra. Here the algebraic properties of the Boolean algebra are compared to the set theoretic properties of the model.
Bounded commutative residuated lattice ordered monoids (-monoids) are a common generalization of -algebras and Heyting algebras, i.e. algebras of basic fuzzy logic and intuitionistic logic, respectively. In the paper we develop the theory of filters of bounded commutative -monoids.
The logical foundations of processes handling uncertainty in information use some classes of algebras as algebraic semantics. Bounded residuated lattice ordered monoids (monoids) are common generalizations of -algebras, i.e., algebras of the propositional basic fuzzy logic, and Heyting algebras, i.e., algebras of the propositional intuitionistic logic. From the point of view of uncertain information, sets of provable formulas in inference systems could be described by fuzzy filters of the corresponding...