默多克·J·加贝。 分层集的语言是合流的和强正规化的。 （英语） Zbl 1476.68120号 日志。方法计算。科学。 14，第2号，第12号论文，34页（2018年）. 摘要：我们研究了TST、TZT和Quine’s NF中使用的分层集语言（带（in）和分层条件的一阶逻辑）的性质。我们发现，语法形成了替换的名义代数，分层和分层意味着在自然对应于\（\β\）-转换的重写下的融合和强归一化。 MSC公司： 第68季度第42季度 语法和重写系统 03B70号 计算机科学中的逻辑 03E70型 非经典和二阶集合论 关键词：分层语法；类型集理论；奎因的新基础；名义重写；标称代数 软件：名义伊莎贝尔 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}，日志。方法计算。科学。14，第2号，第12号文件，第34页（2018年；Zbl 1476.68120） 全文： 内政部 arXiv公司 参考文献： [1] 阿尔伯特·阿塞里亚斯（Albert Atserias）、安德烈·布拉托夫（Andrei A.Bulatov）和阿努杰·达瓦尔（Anuj Dawar）。仿射方程组和计数无穷逻辑。理论计算机科学，410（18）：1666-16832009·Zbl 1168.68040号 [2] 利伯·巴托（Libor Barto）、迈克尔·孔帕彻（Michael Kompatscher）、米罗斯拉夫·奥尔塞克（Miroslav Olés´ak）、迈克·平斯克（Michael Pinsker）和特朗·范·范（Trung Van Pham）。无限域约束满足问题的两个二分法猜想是等价的。2017年，第32届IEEE计算机科学逻辑研讨会（LICS’17）论文集。 [3] 利伯·巴托（Libor Barto）和马金·科齐克（Marcin Kozik）。有界宽度的约束满足问题。2009年，第50届计算机科学基础年度研讨会（FOCS’09），第595-603页·Zbl 1292.68088号 [4] 利伯·巴托（Libor Barto）和马金·科齐克（Marcin Kozik）。吸收子代数、循环项和约束满足问题。计算机科学中的逻辑方法，8/1（07）：1-262012·Zbl 1239.08002号 [5] 利伯·巴托（Libor Barto）、雅库布·奥普萨尔（Jakub Oprásal）和迈克尔·平斯克（Michael Pinsker）。反射的仙境。预印arXiv:15100.045212015·Zbl 1397.08002号 [6] 利伯·巴托和迈克尔·平斯克。无限域约束满足问题的代数二分法猜想。2016年第31届IEEE计算机科学逻辑研讨会（LICS’16）会议记录，第615-622页。预印arXiv:1602.04353·Zbl 1401.68108号 [7] 加勒特·伯霍夫（Garrett Birkhoff）。关于抽象代数的结构。剑桥哲学学会数学论文集，31（4）：433-4541935·JFM 61.1026.07号 [8] 曼纽尔·博德斯基。可数范畴结构的核心。计算机科学中的逻辑方法，3（1）：1-162007·Zbl 1128.03021号 [9] 曼努埃尔·博迪尔斯基。无限域约束满足中的复杂性分类。巴黎迪德罗大学（Universityée Didero）7号，M´emoire'habilitation'a diriger des recherches。可从arXiv:12011.08562012获取。 [10] 曼纽尔·博迪尔斯基（Manuel Bodirsky）和沃尔科特·达尔摩（V´´ctor Dalmau）。数据日志和无限模板的约束满足。《计算机与系统科学杂志》，79:79-1002013年。初步版本出现在计算机科学理论方面研讨会（STACS’05）的会议记录中·Zbl 1263.68051号 [11] 曼努埃尔·博迪尔斯基、彼得·琼森和特朗·范范。系统发育约束满足的复杂性。2016年计算机科学理论方面研讨会论文集。预印arXiv:1503.07310·Zbl 1388.68101号 [12] 曼努埃尔·博德斯基和扬·卡拉。等式约束语言的复杂性。计算系统理论，3（2）：136-1582008。一个会议版本出现在《俄罗斯计算机科学》（CSR'06）的会议记录中·Zbl 1148.68025号 [13] 曼努埃尔·博德斯基和扬·卡拉。时间约束满足问题的复杂性。美国医学会杂志，57（2）：1-412009。一个扩展的摘要出现在计算机理论研讨会（STOC）的会议记录中·Zbl 1327.68125号 [14] 曼努埃尔·博德斯基、巴纳比·马丁和安托万·莫特特。具有后继整数的约束满足问题。ICALP会议记录，第256-267页，2015年。ArXiv:1503.08572·Zbl 1440.68111号 [15] 曼努埃尔·博德斯基、巴纳比·马丁和安托万·莫特特。离散时间约束满足问题。发表于2017年《美国医学会杂志》·Zbl 1440.68111号 [16] 曼纽尔·博德斯基和迈克尔·平斯克。图的Schaefer定理。ACM杂志，62（3）：52页（文章编号19），2015年。2011年《STOC会议录》中出现了一个会议版本，第655-664页·Zbl 1288.05169号 [17] 曼纽尔·博德斯基和迈克尔·平斯克。拓扑Birkhoff。《美国数学学会学报》，367:2527-25492015年·Zbl 1375.03032号 [18] 曼纽尔·博德斯基和迈克尔·平斯克。规范函数：拓扑动力学的证明。预印本arXiv:11610.096602016·Zbl 1375.03032号 [19] 曼纽尔·博迪尔斯基（Manuel Bodersky）、迈克尔·平斯克（Michael Pinsker）和安德烈（Andr’as Pongr’acz）。投影克隆同态。预印arXiv:1409.46012014。 [20] 曼纽尔·博迪尔斯基、迈克尔·平斯克和托多尔·赞科夫。可定义性的决定。符号逻辑杂志，78（4）：1036-10542013。会议版本出现在2011年《LICS会议录》上·Zbl 1327.03008号 [21] 曼纽尔·博德斯基和米夏·勒罗纳。等价约束满足问题。《计算机科学逻辑学报》，LIPICS第16卷，第122-136页。Dagstuhl出版社，2012年9月·Zbl 1252.03087号 [22] Miko laj Boja´nczyk、Bartek Klin和Slawomir Lasota。名义集合中的自动机理论。《计算机科学中的逻辑方法》，10（3），2014年·Zbl 1338.68140号 [23] Miko laj Boja´nczyk、Bartek Klin、Slawomir Lasota和Szymon Toru´nczyk。带原子的图灵机器。第28届ACM/IEEE计算机科学逻辑年会，2013年，美国洛杉矶新奥尔良，LICS，第183-192页·Zbl 1367.68098号 [24] 马蒂亚斯·布罗克斯瓦尔和彼得·琼森。时间推理的点代数：算法和复杂性。人工智能，149（2）：179-222003·Zbl 1082.68817号 [25] 安德烈·布拉托夫。非均匀CSP的二分法定理。2017年FOCS会议记录。arXiv:1703.03021。 [26] 安德烈·布拉托夫和彼得·杰文斯。组合问题中的代数结构。技术报告MATH-AL-4-2001，德累斯顿理工大学，2001年·Zbl 1273.68337号 [27] Andrei A.Bulatov、Andrei A.Krokhin和Peter G.Jeavons。使用有限代数对约束的复杂性进行分类。SIAM计算机杂志，34:720-7422005·Zbl 1071.08002号 [28] 汤姆饰演费德和莫舍·瓦迪。单调一元SNP的计算结构和约束满足：通过数据日志和群论进行的研究。SIAM计算机杂志，28:57-1041999·Zbl 0914.68075号 [29] 克里斯蒂娜·费尔（Christina Feier）、卡斯滕·卢茨（Carsten Lutz）和安蒂·库西斯托（Antti Kuusisto）。一元析取数据日志、MMSNP和表达式描述逻辑中的可重写性。《第20届数据库理论国际会议论文集》（ICDT17），2017年·Zbl 1402.68046号 [30] 威尔弗里德·霍奇斯。较短的模型理论。剑桥大学出版社，剑桥，1997年·Zbl 0873.03036号 [31] 彼得·杰文斯（Peter Jeavons）、大卫·科恩（David Cohen）和马克·吉森（Marc Gyssens）。约束的闭包属性。美国医学会杂志，44（4）：527-5481997·Zbl 0890.68064号 [32] 彼得·琼森和托马斯·德拉肯格伦。RCC-5中可牵引性的完整分类。《人工智能研究杂志》，6:211-221997年·Zbl 0894.68096号 [33] 彼得·琼森和约翰·塔珀。有理数和实数上加法的约束满足和半线性展开。CoRR，abs/1506.004792015年·Zbl 1338.68108号 [34] Bartek Klin、Eryk Kopczynski、Joanna Ochremiak和Szymon Toru´nczyk。局部有限约束满足问题。第30届ACM/IEEE计算机科学逻辑研讨会·Zbl 1394.68186号 [35] Bartek Klin、Slawomir Lasota、Joanna Ochremiak和Szymon Toru´nczyk。带原子的图灵机、约束满足问题和描述复杂性。在计算机科学逻辑会议（CSL）和计算机科学逻辑研讨会（LICS）中，CSL-LICS’14，奥地利维也纳，第58:1-58:10页，2014年·Zbl 1401.68079号 [36] Michael Kompatscher和Trung Van Pham。偏序集约束满足的复杂性二分法。提交日期：2016年。预印本arxiv：1603.00082·Zbl 1402.68099号 [37] 马金·科齐克（Marcin Kozik）、安德烈·克罗金（Andrei Krokhin）、马特·瓦列里奥特（Matt Valeriote）和罗斯·威拉德（Ross Willard）。几种马尔塞夫条件的特征。《通用代数》，73（3）：205-2242015年·兹比尔1319.08002 [38] G´abor Kun。约束、MMSNP和扩展关系结构。Combinatorica，33（3）：335-3472013年·Zbl 1313.05274号 [39] 米克尔·奥斯·马奥蒂和拉尔夫·麦肯齐。弱对称运算的存在性定理。《普遍代数》，59（3），2008年·邮编：1186.08003 [40] 弗拉基米尔·佩斯托夫。关于自由行动、最小流量和Ellis提出的问题。美国数学学会学报，350（10）：4149-41651998·Zbl 0911.54034号 [41] 马克·希格斯（Mark H.Siggers）。省略一元类型的品种的强Mal'cev条件。《普遍代数》，64（1）：15-22010年·Zbl 1216.08002号 [42] 德米特里·朱克。CSP二分法猜想的证明。2017年FOCS会议记录。arXiv:1704.01914年·Zbl 1491.68128号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。