乔治·乔治斯库 用量词“存在无数”对逻辑进行代数分析。 （英语） Zbl 0593.03021号 代数大学。 19, 99-105 (1984). 作者摘要：“在本文中，我们将一类多元代数定义为带有量词“存在无数”的逻辑的适当代数结构。主要结果是可数度多元代数的一个表示定理。”审核人：J.维尔泽耶夫斯基 引用于1文件 MSC公司： 03C80号 带有额外量词和运算符的逻辑 03G15年 柱代数和多代数；关系代数 关键词：广义量词;多元代数 PDF格式BibTeX公司 XML格式引用 \textit{G.Georgescu}，代数大学。19、99-105（1984；Zbl 0593.03021） 全文： 内政部 参考文献： [1] K.Bruce，《使用广义量词的逻辑中的模型理论强制》，《数学逻辑年鉴》，13（1978）225-265·Zbl 0436.03025号 [2] A.Daigneault，Th？orie des mod？逻辑数学？《大学新闻报》周日报道？德蒙特？al，1967年。 [3] A.Daigneault，《关于多元代数的自同构》，Trans。阿默尔。数学。《社会学杂志》，112（1964），84-130·Zbl 0143.24801号 ·doi:10.1090/S002-9947-1964-0162741-6 [4] A.Daigneault和J。D.Monk，多元代数的表示理论，基金会。数学。，52 (1963), 151-176. ·Zbl 0122.01001号 [5] G.Georgescu，多元代数上的广义量词，Rev.Roum。数学。Pures等应用。，二十五、 7（1980），1027-1032·Zbl 0454.03033号 [6] G.Georgescu，《多元代数上的单调量词》，《数学印前系列》，INCREST，第55期，1979年·Zbl 0492.03026号 [7] P.R.Halmos，代数逻辑，切尔西，纽约，1962年·Zbl 0101.01101号 [8] 凯斯勒，量词逻辑？有无数个？，《数理逻辑年鉴》，1（1970），1-93·Zbl 0206.27302号 ·doi:10.1016/S0003-4843（70）80005-5 [9] J.A.Makowsky和S。Tulipani，单调量词的一些模型理论，Arch。f.数学。Logik，18,3/4（1977），115-134·Zbl 0365.02042号 ·doi:10.1007/BF02007264 [10] M.Magidor和J。马利茨，L（Q）的紧凑扩展，第1a部分，《数理逻辑年鉴》，11（1977），217-261·Zbl 0356.02012号 ·doi:10.1016/0003-4843（77）90019-5 [11] J.D.Monk，代数逻辑中的一些问题，Clermont-Frard国际逻辑学术讨论会？CNRS条件，1977年。 [12] J.D.Monk，《代数省略类型》，《科学年鉴》。克莱蒙特大学，Fasc.16（1978），101-105·Zbl 0396.03046号 [13] Ch.C.Pinter，《带广义量词的代数逻辑》，《圣母院形式逻辑》，第十六卷，第4期（1975年）·兹比尔0299.02076 [14] D.Schwartz，带滤子量词的柱代数，Zeit。f.数学。Logik und Grundlagen d.数学。，Bd.26（1980），251-254·Zbl 0469.03043号 ·doi:10.1002/malq.19800261406 [15] J.S.Johnson，多元代数的合并，Trans。阿默尔。数学。Soc.149（1970），627-652·Zbl 0201.00701号 ·doi:10.1090/S002-9947-1970-0284319-9 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。