维多利亚州古尔德 S系统的公理化问题。 （英语） Zbl 0637.03018号 J.隆德。数学。社会学，II。序列号。 35, 193-201 (1987). 对于给定的幺半群S（带1的环R），射影S-系统类（R-模）用P表示，平坦S-系统（R-模块）用F表示。如果（P=F\），则称幺半群或环是完美的。给出了幺半群S上类F可公理化的充要条件。例如，当S的每一个超幂都是平坦的时，F是可公理化的。G.萨巴赫和P.埃克洛夫[J.Symb.Logic.36623-649（1971；Zbl 0251.02052号)]证明了对于酉环R，P是可公理化的，当F是公理化且R是完美的。证明了对于幺半群S，如果P是可公理化的，则F是可公然化的，并且S满足主右理想的降链条件。如果S满足主左理想的升链条件（例如，S是正则的），则P是可公理化的，如果F是可公诉的且S是完美的。审核人：A.N.里亚斯金 引用于三评论引用于4文件 MSC公司： 03C60型 模型理论代数 关键词：可公理化类;幺半群;戒指;投影S-系统;扁平S系统;R模块;下降链状态 引文：Zbl 0251.02052号 PDF格式BibTeX公司 XML格式引用 \textit{V.Gould}，J.Lond。数学。社会学，II。序列号。35、193--201（1987；Zbl 0637.03018） 全文： 内政部