Model-theoretic properties of free, projective, and flat S-acts
Logic
2018-05-09 v2
Abstract
This is the second in a series of articles surveying the body of work on the model theory of S-acts over a monoid S. The first concentrated on the theory of regular S-acts. Here we review the material on model-theoretic properties of free, projective, and (strongly, weakly) flat S-acts. We consider questions of axiomatizability, completeness, model completeness, and stability for these classes. Most but not all of the results have already appeared; we remark that the description of those monoids S such that the class of free left S-acts is axiomatizable, is new.
Keywords
Cite
@article{arxiv.1804.09351,
title = {Model-theoretic properties of free, projective, and flat S-acts},
author = {Victoria Gould and Alexander Mikhalev and Evgeny Palyutin and Alena Stepanova},
journal= {arXiv preprint arXiv:1804.09351},
year = {2018}
}