佩雷塔特金，M.G。 超列表理论的语义普遍性。 （英语。俄文原件） Zbl 0780.03013号 代数逻辑 31，第1期，30-48（1992）; 翻译自代数罗技31，第1期，47-73（1992）。 摘要：我们研究了一阶谓词逻辑公式在模型论性质列表PL上的表达能力，该列表比之前两篇论文中的MTL图更广泛[作者，Dokl.Akad.Nauk SSSR 308，No.4，788-791（1989；Zbl 0703.03014号); “将递归可枚举理论浸入有限公理化理论”（俄罗斯），Tr.Inst.Mat.（1991）]。在包含（text{L}\substeq\text{PL}）下，得到了语义泛有限公理化模型类的广义Lindenbaum L-代数的特征。作为直接结果，证明了具有两个不同有限签名的谓词演算的Lindenbaum代数之间存在递归同构（从列表PL中保留属性）。这对作者在《代数逻辑学》第30卷第4期第414-431页（1991年；Zbl 0777.03010号). 理学硕士： 03C57号 可计算结构理论 关键词：一阶谓词逻辑公式对模型理论属性列表的表达能力;有限公理化模型类;递归同构;Lindenbaum代数 引文：Zbl 0703.03014号;兹比尔0777.03010 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Peretyat'kin}，代数逻辑31，No.1，30--48（1992；Zbl 0780.03013）；《代数逻辑学》第31卷第1期第47-73页（1992年）的译文 全文： 内政部 参考文献： [1] M.G.Peretyat’kin，“递归可枚举和有限公理化理论性质的相似性”，Dokl。阿卡德。诺克SSSR，308，No.4，788–791。 [2] M.G.Peretyat’kin，“将递归可枚举理论浸入有限公理化理论”，Tr.Inst.Mat.Akad。Nauk SSSR（1991）。 [3] M.G.Peretyat’kin，“模型的语义通用类”，《代数逻辑》，第30期，第4期，414-431页（1991年）。 [4] C.C.Chang和H.J.Keisler，模型理论，第二版。，北荷兰（1977年）·Zbl 0423.03041号 [5] H.Rogers，递归函数和有效可计算性理论，麻省理工出版社（1987）·Zbl 0183.01401号 [6] R.I.Soare，递归可枚举集和度，Springer-Verlag（1987）·Zbl 0667.03030号 [7] 于。L.Ershov，《可决定性和建设性模型问题（俄语）》，瑙卡，莫斯科（1980年）。 [8] J.Shoenfield，《数学逻辑》[俄文翻译]，瑙卡，莫斯科（1975年）。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。