自由、投射与平坦 S-acts 的模型论性质
逻辑
2018-05-09 v2
摘要
这是综述幺半群 S 上 S-acts 模型论研究成果系列文章的第二篇。第一篇聚焦于正则 S-acts 的理论。此处我们回顾关于自由、投射与(强、弱)平坦 S-acts 的模型论性质的材料。我们考虑这些类的可公理化性、完备性、模型完备性与稳定性问题。大部分(但非全部)结果已经发表;我们指出,对使自由左 S-acts 类可公理化的那些幺半群 S 的描述是新的。
引用
@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}
}