Axiomatizability and completeness of some classes of s-polygons

Translated from Algebra i Logika, Vol. 30, No. 5, pp. 583–594, September–October, 1991.     

On congruences and ideals of partially ordered quasigroups

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.     

偏序半群的偏序扩张

引入了偏序半群(S,·,≤)上的半拟序σ及模σ半拟链的概念.通过模σ半拟链,将S的偏序≤扩张为≤*,讨论了(S,*,≤*)是偏序半群的充分条件,并获得了若干理想的结果.特别地,得到了SPO(S)到PO(S)的两个半格同态定理.最后,还给出了S的满足某些给定条件的有限子集在≤*下成链的充要条件.     

Axiomatizability and model completeness of the class of regular polygons

Translated fromSibirskii Matematicheskii Zhurnal, Vol. 35, No. 1, pp. 181–193, January–February, 1994.     

Extensions of partially ordered partial abelian monoids

The notion of a partially ordered partial abelian monoid is introduced and extensions of partially ordered abelian monoids by partially ordered abelian groups are studied. Conditions for the extensions to exist are found. The cases when both the above mentioned structures have the Riesz decomposition property, or are lattice ordered, are treated. Some applications to effect algebras and MV-algebras are shown.     

Stochastic integration on partially ordered sets

The stochastic integral is introduced with respect to a stochastic process X = (X_s)_sεV, where V is any general partially ordered set satisfying some mild regularity conditions. As important examples the stochastic integral is constructed with respect to a class of Gaussian processes having similarities to the Brownian motion on the real line, and also with respect to L²-martingales under an assumption of conditional independence on the underlying σ-fields.     

Quasi-uniform completions of partially ordered spaces

In this paper we define partially ordered quasi-uniform spaces (X, , ≤) (PO-quasi-uniform spaces) as those space with a biconvex quasi-uniformity on the poset (X, ≤) and give a construction of a (transitive) biconvex compatible quasi-uniformity on a partially ordered topological space when its topology satisfies certain natural conditions. We also show that under certain conditions on the topology of a PO-quasi-uniform space (X, , ≤), the bicompletion of (X, ) is also a PO-quasi-uniform space ( , ⪯) with a partial order ⪯ on that extends ≤ in a natural way.      

On the Partially Ordered Semigroup Generated by the Class Operators I,R,H,S,P

Let I, H, S, P be the usual class operators on universal algebras. For a class K of universal algebras of the same type, let R({K}) be the class of all algebras isomorphic to a retract of a member of K and let R denote the corresponding class operator. In this paper the semigroup generated by class operators I, R, H, S, P and the corresponding partially ordered set are described. Also the standard semigroups of the above operators are determined for some varieties.     

关于偏序集相关联图的色数

对于每一个含有最小元素0的偏序集（P,≤）可以得到一个与其关联的图G（P）.本文主要通过代数的方法研究了所得关联图G（P）的性质,证明了如果G（P）的色数和团数是有限的,那么色数和团数都仅比P的极小素理想的个数大1.     

Torsion classes of Specker lattice ordered groups

In this paper we investigate the relations between torsion classes of Specker lattice ordered groups and torsion classes of generalized Boolean algebras.     

Association of probability measures on partially ordered spaces

A notion of association of probability measures on partially ordered (Polish) spaces is introduced and its basic properties are investigated. This generalizes the classical notion of association among random variables, due to Esary, Proschan, and Walkup. The relation between association and monotone stochastic kernels is investigated and a theorem of Jogdeo is generalized. The general theory is applied to stochastic processes with both discrete and continuous time parameter and partially ordered state spaces. Also, an application to mixtures of statistical experiments is included.     

Compressions on partially ordered abelian groups

If is a C*-algebra and is a self-adjoint idempotent, the mapping is called a compression on . We introduce effect-ordered rings as generalizations of unital C*-algebras and characterize compressions on these rings. The resulting characterization leads to a generalization of the notion of compression on partially ordered abelian groups with order units.

     

Affine completeness and wreath product decompositions of lattice ordered group

Let Δ and H be a nonzero abelian linearly ordered group or a nonzero abelian lattice ordered group, respectively. In this paper we prove that the wreath product of Δ and H fails to be affine complete. Supported by VEGA grant 2/4134/24. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information, grant I/2/2005.     

On fat partitioning, fat covering and the union size of polygons

The complexity of the contour of the union of simple polygons with n vertices in total can be O(n²) in general. A notion of fatness for simple polygons is introduced that extends most of the existing fatness definitions. It is proved that a set of fat polygons with n vertices in total has union complexity O(n log log n), which is a generalization of a similar result for fat triangles (Matou ek et al., 1994). Applications to several basic problems in computational geometry are given, such as efficient hidden surface removal, motion planning, injection molding, and more. The result is based on a new method to partition a fat simple polygon P with n vertices into O(n) fat convex quadrilaterals, and a method to cover (but not partition) a fat convex quadrilateral with O(l) fat triangles. The maximum overlap of the triangles at any point is two, which is optimal for any exact cover of a fat simple polygon by a linear number of fat triangles.     

Convex subrings of partially ordered rings

The relationship between a poring and a convex subring has been studied most successfully for porings with bounded inversion. The best conceivable results are known for real closed rings. The present paper focuses on the connections between the prime spectra and between the real spectra of a poring and a convex subring. Examples show that for arbitrary porings one may not expect a very close relationship. But with the assumption of bounded inversion or spectral compatibility the results are similar to those for real closed rings (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Optimization of nested polygons

The optimization problem under consideration requires to find the largest regular polygon withk sides to be fitted into a regular polygon withk – 1 sides. If the sequence of these maximal polygons is started with an equilateral triangle, then the final nested polygon, a circle, possesses a radiusr=0.3414r ₃, wherer ₃ is the radius of the inscribed circle of the equilateral triangle. Lower bounds for the ratior/r ₃ are also obtained.     

Quasimartingales on partially ordered sets

The concept of a quasimartingale, and therefore also of a function of bounded variation, is extended to processes with a regular partially ordered index set V and with values in a Banach space. We show that quasimartingales can be described by their associated measures, defined on an inverse limit space $\text{S × Ω}$ containing $\text{V × Ω}$, furnished with the σ-algebra $\text{P}$ of the predictable sets. With the help of this measure, a Rao-Krickeberg and a Riesz decomposition is obtained, as well as a convergence theorem for quasimartingales. For a regular quasimartingale X it is proven that the spaces ($\text{S × Ω}$, $\text{P}$) and the measures associated with X are unique up to isomorphisms. In the case V = $\text{R}$₊ⁿ we prove a duality between classical (right-) quasimartingales and left-quasimartingales.