Abstract
In this work, we investigate the partially ordered monoids S over which the class of free (over a poset) S-posets is axiomatizable. Similar questions for S-sets were considered in papers of V. Gould, S. Bulman-Fleming, and A. A. Stepanova.
Similar content being viewed by others
References
S. Bulman-Fleming and V. Gould, “Axiomatisability of weakly flat, flat and projective acts,” Commun. Algebra, 30, No. 11, 5575–5593 (2002).
C. C. Chang and H. J. Keisler, Model Theory, North-Holland, Amsterdam (1973).
A. H. Clifford and G. B. Preston, The Algebraic Theory of Semigroups, Amer. Math. Soc., Providence (1961).
J. B. Fountain, “Perfect semigroups,” Proc. Edinburgh Math. Soc., 20, 87–93 (1976).
P. Gabriel and M. Zisman, Calculus of Fractions and Homotopy Theory, Springer, Berlin (1967).
V. Gould, “Axiomatisability problems for S-systems,” J. London Math. Soc., 35, 193–201 (1987).
V. Gould, A. Mikhalev, E. Palyutin, and A. Stepanova, “Model-theoretic properties of free, projective, and flat S-acts,” Fundam. Prikl. Mat., 14, No. 7, 63–110 (2008).
M. Kilp, U. Knauer, and A. V. Mikhalev, Monoids, Acts and Categories, Walter de Gruyter, Berlin (2000).
U. Knauer, “Projectivity of acts and Morita equivalence of monoids,” Semigroup Forum, 3, 359–370 (1972).
M. A. Pervukhin and A. A. Stepanova, “Axiomatizability and completeness of some classes of partially ordered polygons,” Algebra Logika, 48, No. 1, 54–71 (2009).
X. Shi, “Strongly flat and po-flat S-posets,” Commun. Algebra, 33, 4515–4531 (2005).
X. Shi, Z. Liu, F. Wang, and S. Bulman–Fleming, “Indecomposable, projective and flat S-posets,” Commun. Algebra, 33, 235–251 (2005).
B. Stenström, “Flatness and localization over monoids,” Math. Nachr., 48, 315–334 (1971).
A. A. Stepanova, “Axiomatisability and completeness in some classes of S-polygons,” Algebra Logic, 30, 379–388 (1991).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 15, No. 1, pp. 99–115, 2009.
Rights and permissions
About this article
Cite this article
Pervukhin, M.A., Stepanova, A.A. Axiomatizability of free S-posets. J Math Sci 166, 756–766 (2010). https://doi.org/10.1007/s10958-010-9891-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10958-010-9891-3