We study the multiplicative lattices which satisfy the condition for all . Call them sharp lattices. We prove that every totally ordered sharp lattice is isomorphic to the ideal lattice of a valuation domain with value group or . A sharp lattice localized at its maximal elements are totally ordered sharp lattices. The converse is true if has finite character.
We prove that if M is an o-minimal structure whose underlying order is dense then Th(M) does not interpret the theory of an infinite discretely ordered structure. We also make a conjecture concerning the class of the theory of an infinite discretely ordered o-minimal structure.
In 1978, Courcelle asked for a complete set of axioms and rules for the equational theory of (discrete regular) words equipped with the operations of product, omega power and omega-op power. In this paper we find a simple set of equations and prove they are complete. Moreover, we show that the equational theory is decidable in polynomial time.
In 1978, Courcelle asked for a complete set of axioms and rules for the equational theory of (discrete regular) words equipped with the operations of product, omega power and omega-op power. In this paper we find a simple set of equations and prove they are complete. Moreover, we show that the equational theory is decidable in polynomial time.
A construction of cell algebras is introduced and some of their properties are investigated. A particular case of this construction for lattices of nets is considered.
Rings of formal power series with exponents in a cyclically ordered group were defined in [2]. Now, there exists a “valuation” on : for every in and in , we let be the first element of the support of which is greater than or equal to . Structures with such a valuation can be called cyclically valued rings. Others examples of cyclically valued rings are obtained by “twisting” the multiplication in . We prove that a cyclically valued ring is a subring of a power series ring with...
In this paper we prove for an hl-loop an assertion analogous to the result of Jakubík concerning lexicographic products of half linearly ordered groups. We found conditions under which any two lexicographic product decompositions of an hl-loop with a finite number of lexicographic factors have isomorphic refinements.
Let G be an abelian group acting on a set X, and suppose that no element of G has any finite orbit of size greater than one. We show that every partial order on X invariant under G extends to a linear order on X also invariant under G. We then discuss extensions to linear preorders when the orbit condition is not met, and show that for any abelian group acting on a set X, there is a linear preorder ≤ on the powerset 𝓟X invariant under G and such that if A is a proper subset of B, then A < B...
Lattice effect algebras generalize orthomodular lattices and -algebras. We describe all complete modular atomic effect algebras. This allows us to prove the existence of ordercontinuous subadditive states (probabilities) on them. For the separable noncomplete ones we show that the existence of a faithful probability is equivalent to the condition that their MacNeille complete modular effect algebra.
A -group is a sum of a finite number of torsionfree Abelian groups of rank , subject to two independent linear relations. We complete here the study of direct decompositions over two base elements, determining the cases where the relations play an essential role.
Some results concerning congruence relations on partially ordered quasigroups (especially, Riesz quasigroups) and ideals of partially ordered loops are presented. These results generalize the assertions which were proved by Fuchs in [5] for partially ordered groups and Riesz groups.