About regular S-posets
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 9 (2009) no. 4, pp. 70-75
Cet article a éte moissonné depuis la source Math-Net.Ru
The concept of regular S-poset is generalization of the concept of regular S-set. The description of monoids S with axiomatizable, complete and model complete classes of regular S-posets were considered in the papers of E. V. Ovchinnikova and A. A. Stepanova. The similar questions for partially ordered monoids and S-posets were investigated in this work. The main result of the work is a description of partially ordered monoids S with axiomatizable class of regular S-posets. Besides we prowed that there does not exist S-posets with complete or model complete classes of regular S-poset.
Keywords:
pomonoids, S-poset, regular S-poset, theory, axiomatisability, completeness and model completeness.
@article{VNGU_2009_9_4_a7,
author = {M. A. Pervukhin},
title = {About regular {S-posets}},
journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
pages = {70--75},
year = {2009},
volume = {9},
number = {4},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VNGU_2009_9_4_a7/}
}
M. A. Pervukhin. About regular S-posets. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 9 (2009) no. 4, pp. 70-75. http://geodesic.mathdoc.fr/item/VNGU_2009_9_4_a7/
[1] Pervukhin M. A., Stepanova A. A., “Aksiomatiziruemost i polnota nekotorykh klassov chastichno uporyadochennykh poligonov”, Algebra i logika, 48:1 (2009), 90–121 | MR | Zbl
[2] Ershov Yu. L., Palyutin E. A., Matematicheskaya logika, Nauka, M., 1987 | MR | Zbl
[3] Shi X., Liu Z., Wang F., Bulman-Fleming S., “Indecomposable, Projective and Flat S-posets”, Comm. Algebra, 33 (2005), 235–251 | DOI | MR | Zbl
[4] Mikhalev A. V., Ovchinnikova E. V., Palyutin E. A. i dr., “Teoretiko-modelnye svoistva regulyarnykh $S$-poligonov”, Fundamentalnaya i prikladnaya matematika, 10:4 (2004), 107–157 | Zbl