Baker-Beynon duality theory yields a concrete representation of any finitely generated projective Abelian lattice-ordered group G in terms of piecewise linear homogeneous functions with integer coefficients, defined over the support |Σ| of a fan Σ. A unimodular fan ∆ over |Σ| determines a Schauder basis ofG: its elements are the minimal positive free generators of the pointwise ordered group of...

The concept of L-fuzzy lattice is presented by means of an L-fuzzy partially ordered set. An L-fuzzy partially ordered set A is an L-fuzzy lattice if and only if one of A[a], A([a]), and A(a) is a lattice.

Special groups [M. Dickmann, F. Miraglia, Special Groups : Boolean-Theoretic Methods in the Theory of Quadratic Forms, Memoirs Amer. Math. Soc., vol. 689, Amer. Math. Soc., Providence, RI, 2000] are a first-order axiomatization of the theory of quadratic forms. In Section 2 we investigate reduced special groups (RSG) which are a lattice under their natural representation partial order (for moti...

We extend the usual definition of coherence, for modules over rings, to partially ordered right modules over a large class of partially ordered rings, called po-rings. In this situation, coherence is equivalent to saying that solution sets of finite systems of inequalities are finitely generated semimodules. Coherence for ordered rings and modules, which we call po-coherence, has the following ...

We classify polycyclic totally ordered dimension groups, i.e. dimension groups generated by dense embeddings of the lattice Zn in the real line R . Our method is based on geometry of simple geodesics on the modular surface of genus g ≥ 2. The main theorem says that isomorphism classes of the polycyclic totally ordered dimension group are bijective with the reals α modulo the action of the group...

The finite embeddability property (FEP) for integral, commutative residuated ordered monoids was established by W. J. Blok and C. J. van Alten in 2002. Using Higman’s finite basis theorem for divisibility orders we prove that the assumptions of commutativity and associativity are not required: the classes of integral residuated ordered monoids and integral residuated ordered groupoids have the ...

Fuchs [6] called a partially-ordered integral domain, say D, division closed if it has the property that whenever a > 0 and ab > 0, then b > 0. He showed that if D is a lattice-ordered division closed field, then D is totally ordered. In fact, it is known that for a lattice-ordered division ring, the following three conditions are equivalent: a) squares are positive, b) the order is total, and ...