We study partially ordered monoids over which a class of free (over sets and over posets), projective, and (strongly, weakly) flat partially ordered polygons is axiomatizable, complete, or model complete. Similar issues for polygons were dealt with in papers by V. Gould and A. Stepanova.
Similar content being viewed by others
References
A. A. Stepanova, “Axiomatizability and completeness of a class of S-polygons,” Algebra Logika, 30, No. 5, 583–594 (1991).
V. Gould, “Axiomatisability problems for S-systems,” J. London Math. Soc., II. Ser., 35, 193–201 (1987).
S. Bulman-Fleming and V. Gould, “Axiomatisability of weakly flat, flat and projective S-acts,” Comm. Alg., 30, No. 11, 5575–5593 (2002).
X. Shi, “Strongly flat and po-flat S-posets,” Comm. Alg., 33, No. 12, 4515–4531 (2005).
J. B. Fountain, “Perfect semigroups,” Proc. Edinburgh Math. Soc., II. Ser., 20, 87–93 (1976).
C. C. Chang and H. J. Keisler, Model Theory, North-Holland, Amsterdam (1973).
P. Gabriel and M. Zisman, Calculus of Fractions and Homotopy Theory, Springer-Verlag, New York (1967).
X. Shi, Z. Liu, F. Wang, and S. Bulman-Fleming, “Indecomposable, projective and flat S-posets,” Comm. Alg., 33, No. 1, 235–251 (2005).
M. Kilp, U. Knauer, and A. V. Mikhalev, Monoids, Acts and Categories. With Applications to Wreath Products and Graphs. A Handbook for Students and Researchers, Walter de Gruyter, Berlin (2000).
J. R. Isbell, “Perfect monoids,” Semigroup Forum, 2, 95–118 (1971).
S. Bulman-Fleming and V. Laan, “Lazard’s theorem for S-posets,” Math. Nachr., 278, No. 15, 1743–1755 (2005).
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by the Council for Grants (under RF President) and State Aid of Leading Scientific Schools (grant NSh-2810.2008.1).
Translated from Algebra i Logika, Vol. 48, No. 1, pp. 90–121, January–February, 2009.
Rights and permissions
About this article
Cite this article
Pervukhin, M.A., Stepanova, A.A. Axiomatizability and completeness of some classes of partially ordered polygons. Algebra Logic 48, 54–71 (2009). https://doi.org/10.1007/s10469-009-9040-6
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-009-9040-6