朱利奥·费林;彼得·舒斯特;丹尼尔·韦塞尔 命题理论的雅各布森根。 （英语） Zbl 07550752号 牛市。符号。日志。 28，第2期，163-181（2022）. 除了极大理想和完备理论之间的类比外，雅各布森根还从交换环的理想发展到命题演算理论。这就引出了林登鲍姆引理的一个变体，它将经典有效性和直觉主义可证性联系在一起，其句法对应物是格列文科定理。雅各布森根事实上与经典演绎闭包一致。作为副产品，我们获得了对单结论上的多结论Scott-style蕴涵关系的公理-规则守恒准则的逻辑可能的解释。 引用于2文件 MSC公司： 03财年03 一般证明理论（包括证明理论语义） 65楼03号 其他构造数学 13立方厘米 交换环中的投射模和自由模及理想 关键词：雅各布森根;命题理论;林登鲍姆引理;格列文科定理;公理作为规则;守恒准则;蕴含关系 软件：佩斯卡 PDF格式BibTeX公司 XML格式引用 \textit{G.Fellin}等人，公牛。符号。日志。28，编号2，163--181（2022；Zbl 07550752） 全文： 内政部 OA许可证 参考文献： [1] Aczel，P.，《建构集理论的类型理论解释》，《77年逻辑学术讨论会》，《逻辑与数学基础研究》，第96卷，北荷兰，阿姆斯特丹，1978年，第55-66页·Zbl 0481.03035号 [2] Aczel，P.，《建构集理论的类型理论解释：选择原则》，L.E.J.Brouwer百年研讨会，《逻辑研究与数学基础》，第110卷，北荷兰人，阿姆斯特丹，1982年，第1-40页·Zbl 0529.03035号 [3] Aczel，P.，《建构集理论的类型理论解释：归纳定义、逻辑学、方法论和科学哲学》，第七卷，《逻辑研究和数学基础》，第114卷，北荷兰，阿姆斯特丹，1986年，第17-49页·Zbl 0624.03044号 [4] Aczel，P.和Rathjen，M.，《关于构造集理论的注释》，第40号技术报告，Mittag-Lefler研究所，2000年。 [5] Aczel，P.和Rathjen，M.，建构集理论，图书草稿，2010年。可在https://www1.maths.leeds.ac.uk/rathjen/book.pdf（2021年8月24日访问）。 [6] Avron，A.，简单后果关系。《信息与计算》，第92卷（1991年），第105-139页·Zbl 0733.03007号 [7] Béziau，J.-Y.，Les axiomes de Tarski，《1919-1939年波洛涅哲学》（R.Pouivet和M.Resbuschi，编辑），《图书馆哲学》J.VRIN，巴黎，2006年。 [8] Bishop，E.，《建设性分析基础》，McGraw-Hill，纽约，1967年·Zbl 0183.01503号 [9] Bishop，E.和Bridges，D.，《建构性分析》，斯普林格，柏林-海德堡，1985年·Zbl 0656.03042号 [10] Blass，A.，素理想几乎产生最大理想。《数学基础》，第127卷（1987年），第1期，第57-66页·Zbl 0609.06006号 [11] Brouwer，L.E.J.，《逻辑原理论》，第2卷（1908年），第152-158页。 [12] Brouwer，L.E.J.，直觉主义Zerlegung mathematischer Grundbegriffe，Jahresbericht der Deutschen Mathematiker-Vereinigung，第33卷（1925年），第251-256页。 [13] Carnap，R.，《逻辑形式化》，哈佛大学出版社，剑桥，1943年·Zbl 0061.00709号 [14] Cederquist，J.和Coquand，T.，《蕴涵关系和分配格》，1998年逻辑学术讨论会（S.R.Buss，P.Hájek和P.Pudlák，编辑），《逻辑讲义》，第13卷，A.k.Peters，Natick，2000年，第127-139页·Zbl 0948.03056号 [15] Cederquist，J.、Coquand，T.和Negri，S.，《类型理论中的Hahn-Banach定理》，《建构型理论的二十五年》（G.Sambin和J.M.Smith，编辑），《牛津逻辑指南》，第36卷，牛津大学出版社，纽约，1998年，第57-72页·兹比尔0940.03069 [16] Cintula，P.和Carles，N.，结构后果关系中的案例证明性质及其变体。Studia Logica，第101卷（2013年），第4期，第713-747页·Zbl 1316.03040号 [17] Ciraulo，F.、Maietti，M.E.和Sambin，G.，《形式拓扑中的收敛：统一概念》。《逻辑与分析杂志》，第5卷（2013年），第2期，第1-45页·Zbl 1280.54003号 [18] Ciraulo，F.，Rinaldi，D.，and Schuster，P.，Lindenbaum’s lemma via open induction，Advances in Proof Theory（R.Kahle，T.Strahm，and T.Studer，编辑），Progress in Computer Science and Applied Logic，vol.28，Springer，Cham，2016，pp.65-77·Zbl 1439.03032号 [19] Ciraulo，F.和Sambin，G.，Finitary形式拓扑和Stone的表示定理。《理论计算机科学》，第405卷（2008年），第1-2期，第11-23页·Zbl 1187.54010号 [20] Coquand，T.，局部Hahn-Banach定理的直接证明，2000年。可在http://www.cse.chalmers.se/coquand/formal.html（2021年8月24日访问）。 [21] Coquand，T.、Lewis Carroll、Gentzen和蕴涵关系，2000年。可在http://www.cse.chalmers.se/coquand/formal.html。 [22] Coquand，T.，关于斯通的光谱概念。《纯粹与应用代数杂志》，第197卷（2005），第1-3期，第141-158页·Zbl 1061.06031号 [23] Coquand，T.，几何Hahn-Banach定理。《剑桥哲学学会数学学报》，第140卷（2006年），第313-315页·Zbl 1095.46046号 [24] Coquand，T.，《估值空间》。《纯粹和应用逻辑年鉴》，第157卷（2009年），97-109·Zbl 1222.03072号 [25] Coquand，T.和Lombardi，H.，《抽象代数中的隐藏结构：分配格和交换环的Krull维数》，交换环理论与应用（M.Fontana，S.-E.Kabbaj和S.Wiegand，编辑），《纯粹与应用数学讲义》，第231卷，Addison-Wesley，Reading，2002年，第477-499页·Zbl 1096.13507号 [26] Coquand，T.和Lombardi，H.，抽象代数的逻辑方法。《计算机科学中的数学结构》，第16卷（2006年），第885-900页·Zbl 1118.03059号 [27] Coquand，T.、Lombardi，H.和Neuwirth，S.，由有序群和正则理想系统生成的格序群。《落基山数学杂志》，第49卷（2019），第5期，第1449-1489页·Zbl 1496.06018号 [28] Coquand，T.、Lombardi，H.和Quité，C.，Dimension de Heitmann des treillis distributions et des anneaux communifs。《贝桑松数学》出版物：Algèbre et Théorie des Nombres，2006年，第57-100页·Zbl 1158.13308号 [29] Coquand，T.和Persson，H.，《估值和Dedekind的布拉格定理》。《纯粹与应用代数杂志》，第155卷（2001），第2-3期，第121-129页·兹伯利0983.11061 [30] Coquand，T.，Sadocco，S.，Sambin，G.和Smith，J.M.，一阶公式集上的形式拓扑。《符号逻辑杂志》，第65卷（2000年），第3期，第1183-1192页·Zbl 0965.03072号 [31] Coquand，T.、Sambin，G.、Smith，J.和Valentini，S.，归纳生成的形式拓扑。《纯粹和应用逻辑年鉴》，第124卷（2003年），第71-106页·Zbl 1070.03041号 [32] Coquand，T.和Zhang，G.-Q.，序列、框架和完整性，计算机科学逻辑（P.G.Clote和H.Schwichtenberg，编辑），《计算机科学讲义》，第1862卷，施普林格，柏林，2000年，第277-291页·Zbl 0973.03080号 [33] Coste，M.、Lombardi，H.和Roy，M.-F.，代数中的动力学方法：有效Nullstellensätze。《纯粹和应用逻辑年鉴》，第111卷（2001年），第3期，第203-256页·Zbl 0992.03076号 [34] David，R.、Nour，K.和Raffalli，C.，《逻辑导论》。《巴黎宣言》，第二版，巴黎杜诺，2003年。 [35] Došen，K.，《关于从单数到复数结果的传递》，《工作中的逻辑：纪念海伦娜·拉西奥瓦的论文》（E.Orlowska，编辑），《模糊性和软计算研究》，第24卷，《物理学》，海德堡，1999年，第533-547页·Zbl 0923.03020号 [36] Espíndola，C.，中间谓词逻辑Glivenko定理的简短证明。《数理逻辑档案》，第52卷（2013年），第7-8期，第823-826页·Zbl 1316.03015号 [37] 《中间逻辑》，2016年。可在http://www.encyclopediaofmath.org/index.php？title=Intermediate_logic&oldid=39747（2016年11月13日访问）。 [38] Fellin，G.，《雅各布森根：从代数到逻辑》，维罗纳大学硕士论文，维罗那信息学院，2018年。 [39] Fellin，G.和Schuster，P.，核的一般Glivenko-Gödel定理，第37届编程语义数学基础会议论文集，MFPS 2021（A.Sokolova，编辑），《理论计算机科学电子笔记》，Elsevier，2021年。 [40] Fellin，G.、Schuster，P.和Wessel，D.，命题理论的雅各布森根，证明理论语义学：评估和未来展望（T.Piecha和P.Schroeder-Heister，编辑），杜宾根大学，2019年，第287-299页，http://doi.org/10.15496/publikation-35319。 [41] Gabbay，D.M.，《海廷直觉主义逻辑中的语义研究》，《综合图书馆》，第148卷，D.Reidel出版公司，多德雷希特·博斯顿，1981年·Zbl 0453.03001号 [42] Galatos，N.和Ono，H.，FL上子结构逻辑的Glivenko定理。符号逻辑杂志，第71卷（2006），第4期，第1353-1384页·Zbl 1109.03016号 [43] Gentzen，G.，Untersuchungenüber das logische Schließen I.Mathematische Zeitschrift，第39卷（1934年），第176-210页。 [44] Gentzen，G.，《第二次世界物流大会》。Mathematische Zeitschrift，第39卷（1934年），第405-431页·Zbl 0010.14601号 [45] Glivenko，V.，M.Brouwer的逻辑概述。比利时皇家科学院。《科学分类公报》，第14卷（1928年），第225-228页。 [46] Glivenko，V.，Sor quelques points de la Logique de M.Brouwer。比利时皇家文学与美术学院。《Cinquième Série科学类公报》，第15卷（1929年），183-188年。 [47] Gödel，K.，U ber eine bisher noch nicht benützte Erweiterung des finiten Standpunktes公司。《辩证法》，第12卷（1958年），第280-287页·Zbl 0090.01003号 [48] Guerreri，G.和Naibo，A.，《推迟（mathsf{raa}）和Glivenko定理》，重温。Studia Logica，第107卷（2019年），第1期，第109-144页·Zbl 1531.03090号 [49] Hertz，P.，u ber Axiomensysteme für beliebige Satzsysteme。I.泰尔。Sätze过去的成绩。《数学年鉴》，第87卷（1922年），第3期，第246-269页。 [50] Hertz，P.，u ber Axiomensysteme für beliebige Satzsysteme。二、。泰尔。Sätze höheren成绩。《数学年鉴》，第89卷（1923年），第1期，第76-102页。 [51] Hertz，P.，u ber Axiomensysteme für beliebige Satzsysteme。《数学年鉴》，第101卷（1929年），第1期，第457-514页。 [52] Humberstone，L.，关于Dana Scott的保守延伸论点。《IGPL逻辑杂志》，第19卷（2011年），第241-288页·Zbl 1216.03036号 [53] Humberstone，L.，Dana Scott关于广义结果关系的工作，《通用逻辑：选集》。《从Paul Hertz到Dov Gabbay》（编辑J.-Y.Béziau），《通用逻辑研究》，Birkhäuser出版社，巴塞尔，2012年，第263-279页·Zbl 1295.03008号 [54] Iemhoff，R.，后果关系和可接受规则。《哲学逻辑杂志》，第45卷（2016年），第3期，第327-348页·Zbl 1392.03021号 [55] Ishihara，H.，经典命题逻辑和直觉主义命题逻辑中变量的可判定性。《计算机科学中的逻辑方法》，第10卷（2014年），第3期，第3:1-3:7页·Zbl 1337.03017号 [56] Ishihara，H.和Schwichtenberg，H.，《在最小蕴涵逻辑中嵌入经典》。《数理逻辑季刊》，第62卷（2016），第1-2期，第94-101页·Zbl 1367.03020号 [57] Jacobson，N.，任意环的根和半单性。《美国数学杂志》，第67卷（1945年），第2期，第300-320页·Zbl 0060.07305号 [58] Johnstone，P.，《几乎最大理想》。《数学基础》，第123卷（1984年），第3期，第197-209页·兹伯利0552.06004 [59] Legris，J.，Paul Hertz和结构推理的起源，《普遍逻辑：选集》。《从Paul Hertz到Dov Gabbay》（编辑J.-Y.Béziau），《通用逻辑研究》，Birkhäuser出版社，巴塞尔，2012年，第3-10页·Zbl 1291.03005号 [60] Litak，T.，Polzer，M.，and Rabenstein，U.，《负译与正常情态》，第二届计算和演绎形式结构国际会议，LIPIcs-Leibniz International Proceedings in Informatics，vol.84，Schloss Dagstuhl-Leibniz-Zentrum für Informatik，Wadern，2017，第27条，pp.27:1-27:18·Zbl 1434.03074号 [61] Lombardi，H.，Le contenu construction d’un principle local-global avec une application a structure d’un-module projection f de type fini，《贝桑松数学出版物：阿尔盖布雷与托里诺姆布雷斯》，1997年，第94-95和95-96.1997分册·Zbl 1221.13016号 [62] Lombardi，H.，《Artin-Schreier的建设性发布》。《纯粹和应用逻辑年鉴》，第91卷（1998年），第59-92页·Zbl 0945.03094号 [63] Lombardi，H.，Algèbre dynamicque，espaces topologiques sans points et program de Hilbert。《纯粹和应用逻辑年鉴》，第137卷（2006年），第256-290页·Zbl 1077.03039号 [64] Lombardi，H.和Quité，C.，《交换代数：构造方法》。有限投射模，代数与应用，第20卷，施普林格荷兰，多德雷赫特，2015·Zbl 1327.13001号 [65] Lorenzen，P.，U.ber halbgeordnete Gruppen。Mathematische Zeitschrift，第52卷（1950年），第1期，第483-526页·Zbl 0035.29303号 [66] Lorenzen，P.，《代数与逻辑》，Untersuchungenüber frie Verbände。《符号逻辑杂志》，第16卷（1951年），第2期，第81-106页·Zbl 0045.29502号 [67] Lorenzen，P.，Teilbarkeittheorie在Bereichen。Mathematische Zeitschrift，第55卷（1952年），第3期，第269-275页·Zbl 0048.01202号 [68] Lorenzen，P.，Die Erweiterung halbgeordener Gruppen zu Verbandsgruppen。Mathematische Zeitschrift，第58卷（1953年），第1期，第15-24页·Zbl 0051.25302号 [69] Mines，R.、Richman，F.和Ruitenburg，W.，《构造代数课程》，Universitext，Springer，纽约，1988年·Zbl 0725.03044号 [70] Mulvey，C.J.和Wick Pelletier，J.，半成形空间的双重场所。Cahiers de Topologie et Géométrie Différentiele Cate goriques，第23卷（1982年），第1期，第73-92页·Zbl 0475.18006号 [71] Mulvey，C.J.和Wick-Pelletier，J.，《哈恩-巴纳赫定理的全球化》。《数学进展》，第89卷（1991年），第1-59页·Zbl 0745.03047号 [72] Negri，S.，Stone bases别名Stone representation，Logic and Algebra的建设性内容（A.Ursini和P.Aglianó，编辑），《纯粹与应用数学讲义》，第180卷，Marcel Dekker，纽约，1996年，第617-636页·兹伯利0862.03035 [73] Negri，S.，作为形式空间的连续域。《计算机科学中的数学结构》，第12卷（2002年），第1期，第19-52页·兹比尔0994.06005 [74] Negri，S.，超越几何理论的证明分析：从规则系统到规则系统。《逻辑与计算杂志》，第26卷（2014年），第2期，第513-537页·Zbl 1403.03116号 [75] Negri，S.，Glivenko根据结构证明理论对序列类进行了分类。《数理逻辑档案》，第55卷（2016），第3-4期，第461-473页·Zbl 1356.03048号 [76] Negri，S.和Von Plato，J.，《公理存在下的切割消除》，《期刊》，第4卷（1998年），第4期，第418-435页·Zbl 0934.03072号 [77] Negri，S.和Von Plato，J.，《结构证明理论》，剑桥大学出版社，剑桥，2001年·Zbl 1113.03051号 [78] Negri，S.和Von Plato，J.，《证明分析：对希尔伯特最后一个问题的贡献》，剑桥大学出版社，2011年·Zbl 1247.03001号 [79] Negri，S.和Von Plato，J.，《带隐式收缩的连续计算中的消去法，关于Gentzen高度线构造起源的猜想》，《数学、哲学和计算机科学中的证明概念》（D.Probst和P.Schuster，编辑），《Ontos数学逻辑》，第6卷，Walter de Gruyter，柏林，2016年，第269-290页·Zbl 1433.03135号 [80] Negri，S.、Von Plato，J.和Coquand，T.，《订单关系的实证理论分析》。《数理逻辑档案》，第43卷（2004年），第297-309页·Zbl 1062.03055号 [81] Neuwirth，S.，Lorenzen的幺半序集的可除性理论，预印本，2018年。可在https://lmb.univ-fcomte.fr/IMG/pdf/lorenzen_s_theory_of_divisibility_in_monoid_preordered_sets.pdf。 [82] Ono，H.，Glivenko定理重温。《纯粹和应用逻辑年鉴》，第161卷（2009年），第2期，第246-250页·Zbl 1181.03021号 [83] Payette，G.和Schotch，P.K.，关于Scott-Lindenbaum定理的评论。Studia Logica，第102卷（2014年），第5期，第1003-1020页·Zbl 1329.03088号 [84] Pereira，L.C.和Haeusler，E.H.，《论经典逻辑的构造碎片》，达格·普拉维茨（Dag Prawitz），《对逻辑的杰出贡献》，第7卷，施普林格，查姆，2015年，第281-292页·兹比尔1429.03059 [85] Popper，K.R.，《演绎理论》，第一部分，推导及其推广。《Koninklijke Nederlandse Akademie van Wetenschappen学报》，第51卷（1948年），第2期，第173-183页。 [86] 波普尔，K.R.，《演绎理论》，第二部分。经典否定和直觉否定的定义。《Koninklijke Nederlandse Akademie van Wetenschappen学报》，第51卷（1948年），第3期，第322-331页·Zbl 0030.10106号 [87] Rathjen，M.，构造集合论中的广义归纳定义，从集合和类型到拓扑和分析：走向构造数学的实用基础（L.Crosilla和P.Schuster，编辑），牛津逻辑指南，第48卷，克拉伦登出版社，牛津，2005年，第16章·兹比尔1095.03076 [88] Restall，G.，《亚结构逻辑导论》，劳特利奇出版社，伦敦，2000年·Zbl 1028.03018号 [89] Rinaldi，D.，《环和域理论中的形式方法》。2014年，慕尼黑大学博士论文。 [90] Rinaldi，D.和Schuster，P.，通用Krull-Lindenbaum定理。《纯粹与应用代数杂志》，第220卷（2016年），第3207-3232页·Zbl 1420.03128号 [91] Rinaldi，D.、Schuster，P.和Wessel，D.，通过析取消除来消除析取。本期刊，第23卷（2017年），第2期，第181-200页·Zbl 1455.03074号 [92] Rinaldi，D.、Schuster，P.和Wessel，D.，通过析取消除来消除析取。Indagationes Mathematicae公司。《新丛书》，第29卷（2018年），第1期，第226-259页·Zbl 1437.03163号 [93] Rinaldi，D.和Wessel，D.，《保护延伸》。西科尔斯基定理。《计算机科学中的逻辑方法》，第14卷（2018年），第4:8期，第1-17页·Zbl 1454.03085号 [94] Rinaldi，D.和Wessel，D.，削减隐含关系的消除。《数理逻辑档案》，第58卷（2019年），第5-6期，第605-625页·Zbl 1477.03243号 [95] Sambin，G.，《直觉主义形式空间——第一次交流》，《数学逻辑及其应用》（D.Skordev，编辑），Plenum，纽约，1987年，第187-204页·Zbl 0703.0304号 [96] Sambin，G.，《前拓扑与完备性证明》。《符号逻辑杂志》，第60卷（1995年），第3期，第861-878页·Zbl 0839.03022号 [97] Sambin，G.，形式拓扑中的一些点。《理论计算机科学》，第305卷（2003年），第1-3期，第347-408页·Zbl 1044.54001号 [98] Sambin，G.，《基本图景：构造拓扑的结构》，牛津逻辑指南，克拉伦登出版社，牛津，2018年。 [99] Sandqvist，T.，推理关系的直觉扩展中的结构性质的保持，本期刊，第24卷（2018），第3期，第291-305页·Zbl 1522.03317号 [100] Schlagbauer，K.，Schuster，P.，和Wessel，D.，Der Satz von Hahn-Banach per Disjunktions exclusion。Confluentes Mathematici，第11卷（2019年），第1期，第79-93页·Zbl 1480.03061号 [101] Scott，D.，《关于产生理解幻觉》。《哲学杂志》，第68卷（1971年），第787-807页。 [102] Scott，D.，多值逻辑中的完全性和公理化，Tarski研讨会论文集（L.Henkin，J.Addison，C.C.Chang，W.Craig，D.Scott和R.Vaught，编辑），纯数学研讨会论文集，第二十五卷，美国数学学会，普罗维登斯，1974年，第411-435页·兹比尔0318.02021 [103] Scott，D.S.，《形式化背景、真理、语法和模态》（H.Leblanc，编辑），《逻辑研究与数学基础》，第68卷，北荷兰特，阿姆斯特丹，1973年，第244-273页·Zbl 0277.02003 [104] Shoesmith，D.J.和Smiley，T.J.，《多结论逻辑》，剑桥大学出版社，剑桥，1978年·Zbl 0381.03001号 [105] Takeuti，G.，《证明理论》，第二版，《逻辑和数学基础研究》，第81卷，北霍兰德出版公司，阿姆斯特丹，1987年·Zbl 0609.03019号 [106] Tarski，A.，《Wissenschaften方法论基础》。I.Monatsheft für Mathematik Physik，第37卷（1930年），第361-404页。 [107] Troelstra，A.S.和Schwichtenberg，H.，《基本证明理论》，第二版，剑桥大学出版社，剑桥，2000年·兹比尔0957.03053 [108] Troelstra，A.S.和Van Dalen，D.，《数学中的建构主义：导论》，《逻辑研究与数学基础》，第一卷，北荷兰，阿姆斯特丹，1988年·Zbl 0661.03047号 [109] Troelstra，A.S.，《论直觉主义逻辑的早期历史》，《数学逻辑》（P.P.Petkov，编辑），普伦姆出版社，纽约，1990年，第3-17页·Zbl 0770.0302号 [110] Van Atten，M.和Sundholm，G.，L.E.J.Brouwer的《逻辑原则的不可靠性》：新译本，附导言。《逻辑的历史与哲学》，第38卷（2017年），第1期，第24-47页·Zbl 1372.01108号 [111] Van Dalen，D.，《逻辑与结构》，第五版，Universitext，Springer，London，2013年·Zbl 1262.03002号 [112] Wang，S.-M.和Cintula，P.，《逻辑与析取和案例证明》。《数理逻辑档案》，第47卷（2008年），第5期，第435-446页·Zbl 1147.03005号 [113] Wessel，D.，选择，延伸，保护。《抽象代数中从超限到有限证明方法》，博士论文，特伦托大学，2018年。 [114] Wessel，D.，建设性地为群体排序。《代数通信》，第47卷（2019年），第12期，第4853-4873页·Zbl 1468.03079号 [115] Wessel，D.，线性扩散的无点光谱，Mathesis Universalis，可计算性和证明（S.Centrone、S.Negri、D.Sarikaya和P.Schuster，编辑），Synthese Library，Springer，Cham，2019，第353-374页·Zbl 1476.03078号 [116] Wessel，D.，关于连通约化环的注记。交换代数杂志，第13卷（2021年），第4期，第583-588页·Zbl 1481.13016号 [117] Wójcicki，R.，《逻辑演算理论：结果运算的基本理论》，《综合图书馆》，第199卷，Kluwer学术出版集团，多德雷赫特，1988年·Zbl 0682.03001号 [118] Yengui，I.，使最大理想的使用具有建设性。《理论计算机科学》，第392卷（2008年），第174-178页·Zbl 1141.13303号 [119] Yengui，I.，《构造交换代数：多项式环上的投影模和动态Gröbner基》，数学课堂讲稿，第2138卷，Springer，Cham，2015年·Zbl 1360.13002号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。