×
丹尼尔·米塞尔贝克·韦塞尔

具有最小逻辑的最大元素。 （英语） Zbl 07691961号

信息处理。莱特。 182，文章ID 106403，第4页（2023）.
小结：在可数情况下，对Krull的最大理想定理有一个显著的争论——这是建设性的，其本质可以追溯到Krivine，不涉及任何选择，只需要最小逻辑。对抽象域的简单扩展是可能的：直觉集理论在最小逻辑之上的原理足以确保每个基于可数的有界完备dcpo都有一个最大元素。上述定理是一个现成的例子。

MSC公司：

68季度xx 计算理论

关键词：

形式化方法;领域理论;Zorn引理;构造数学
PDF格式BibTeX公司 XML格式引用
\textit{D.Misselbeck-Wessel}，Inf.过程。莱特。182，文章ID 106403，4 p.（2023；Zbl 07691961）
全文： 内政部

参考文献：

[1] Peter Aczel，《构造集理论中的一般拓扑方面》，Ann.Pure Appl。日志。，137, 1-3, 3-29 (2006) ·Zbl 1077.03035号
[2] 彼得·阿策尔（Peter Aczel）；Michael Rathjen，《关于构造集理论的注释》（2000年），第40号报告
[3] 彼得·阿策尔（Peter Aczel）；Michael Rathjen，《建构集理论》。书籍草稿（2010）
[4] Bell，John L.，直觉类型理论中的Zorn引理和完全布尔代数，J.Symb。日志。，62, 4, 1265-1279 (1997) ·兹伯利0896.03049
[5] Bell，John L.，直觉主义集合论，《逻辑研究》，第50卷（2014年），大学出版物·Zbl 1367.03003号
[6] 斯特凡诺·贝拉尔迪；Valentini，Silvio，Krivine对经典完备性的直觉主义证明（对于可数语言），Ann.Pure Appl。日志。，129, 1-3, 93-106 (2004) ·Zbl 1062.03058号
[7] Blechschmidt，英戈；彼得·舒斯特（Peter Schuster），《可数环中的极大理想，具有建设性》（Berger，Ulrich；Franklin，Johanna N.Y.；Manea，Florin；Pauly，Arno，《可计算性的革命与启示》。第18届欧洲可计算性会议，会议记录。可计算性的革命和启示。第18届欧洲可计算性会议，会议记录，CiE 2022，威尔士斯旺西，2022年7月11日至15日。可计算性的革命和启示。第18届欧洲可计算性会议，会议记录。可计算性的革命和启示。第18届欧洲可计算性会议，会议记录，CiE 2022，威尔士斯旺西，2022年7月11日至15日，Lect。注释计算。科学。（2022年），施普林格）·Zbl 1524.13008号
[8] Ingo-Blechschmidt，Peter Schuster，《实化动力学代数：可数环中的最大理想》，建设性地，（2023），提交了手稿·Zbl 1524.13008号
[9] Coquand，Thierry，《构造代数和无点拓扑》，（Bridges，Douglas；Ishihara，Hajime；Rathjen，Michael；Schwichtenberg，Helmut，《构造数学手册》（2023），剑桥大学出版社），150-167·Zbl 1342.03043号
[10] Coquand、Thierry；伦巴第，亨利，抽象代数的逻辑方法，数学。结构。计算。科学。，16, 885-900 (2006) ·Zbl 1118.03059号
[11] 劳拉·克罗西拉（Laura Crosilla），《集合论：建构主义和直觉主义ZF》（Zalta，Edward N.，《斯坦福大学哲学百科全书》（2019），斯坦福大学形而上学研究实验室）
[12] 居里，乔瓦尼，《论塔斯基不动点定理》，Proc。美国数学。Soc.，143，10，4439-4455（2015）·Zbl 1352.03075号
[13] 伊曼·迪胡姆；Michael Rathjen；阿维·西尔特拉（Avi Silterra），建构集理论中斯科特（D_infty）的域理论和可实现性（Benini，Marco；Beyersdorff，Olaf；Rathjen，Michael；Schuster，Peter，《计算数学》（M4C）（2023），《世界科学：世界科学新加坡》）·兹比尔07722660
[14] 哈维·弗里德曼，《经典集合论相对于直觉逻辑集合论的一致性》，J.Symb。日志。，38,2315-319（1973年）·Zbl 0278.02045号
[15] Gierz，G。；霍夫曼，K.H。；Keimel，K。；劳森·J·D。；Mislove，M。；Scott，D.S.，《连续格与域》，《数学及其应用百科全书》（2003），剑桥大学出版社·Zbl 1088.06001号
[16] 罗伯特·戈德布拉特（Robert Goldblatt），《汉金校样的抽象背景》（An abstract setting for Henkin proofs），托波伊（Topoi），第337-41页（1984年）
[17] Johansson，Ingebrigt，Der Minimalkalkül，ein reduzierter直觉主义形式主义，作曲。数学。，4, 119-136 (1937) ·Zbl 0015.24102号
[18] Johnstone，Peter T.，《Stone Spaces》，《剑桥高等数学研究》，第3卷（1982年），剑桥大学出版社·兹比尔0499.54001
[19] Johnstone，Peter T.，《大象素描：拓扑理论简编》，第2卷，《牛津逻辑指南》。，第44卷（2002），克拉伦登出版社牛津大学出版社：克拉伦登出版牛津大学出版社·Zbl 1071.18001号
[20] Krivine、Jean-Louis、Une preuve formelle et intuistonniste duéorème de complete de la logique classique、Bull。符号。日志。，2, 4, 405-421 (1996) ·Zbl 0872.03004号
[21] 沃尔夫冈·克鲁尔（Wolfgang Krull），《林根·奥恩·恩德利奇基茨比丁根的理想理论》（Idealtheorie in Ringen ohne Endlichkeitsbedinging），《数学》（Math）。年鉴，101729-744（1929）
[22] 劳森，吉米，最大点空间，数学。结构。计算。科学。，7, 5, 543-555 (1997) ·Zbl 0985.54025号
[23] 伦巴第，亨利；基特，克劳德，阿尔盖布雷交换。《Méthodes Constructives》（2021年），《Calvage&Mounet:Calvage and Mounet Paris》·Zbl 1242.13002号
[24] 诺曼·M·马丁。；Pollard，Stephen，闭包空间与逻辑，数学及其应用。，第369卷（1996），施普林格科学+商业媒体：施普林格科技+商业媒体多德雷赫特·兹比尔0855.54001
[25] 雷（Ray Mines）；弗雷德·里奇曼；Ruitenburg，Wim，《构造代数课程》（1988），施普林格：施普林格纽约大学·Zbl 0725.03044号
[26] 丹尼尔·米塞尔贝克·沃塞尔（Daniel Misselbeck-Wessel）；彼得·舒斯特（Peter Schuster），斯科特开放滤波器的激进理论，Theor。计算。科学。，945（2023），论文113677·Zbl 07648673号
[27] 豪尔赫·皮卡多；Pultr、Aleš、Frames和Locales。无点拓扑。数学前沿（2012），Birkhäuser:Birkháuser Basel·Zbl 1231.06018号
[28] 托马斯·鲍威尔；彼得·舒斯特（Peter Schuster）；Wiesnet，Franziskus，Krull定理的通用算法，Inf.Comput。，287，第104761条，第（2022）页，第21页·Zbl 1505.03136号
[29] 乔瓦尼·桑宾；西尔维奥·瓦伦蒂尼；Virgili，Paolo，作为直觉主义无点拓扑的一个分支的构造域理论，Theor。计算。科学。，159, 2, 319-341 (1996) ·Zbl 0871.68063号
[30] 安德烈·塞德罗夫（Andrej Scedrov），直觉主义集合论（Harrington，L.A.；Morley，M.D.；Scedrof，A.；Simpson，S.G.，Harvey Friedman’S Research on the Foundations of Mathematics），《哈维·弗里德曼关于数学基础、逻辑研究和数学基础的研究》，第117卷（1985），爱思唯尔出版社，257-284·Zbl 0569.03025号
[31] 彼得·舒斯特（Peter Schuster）；Wessel，Daniel，《语义语法：Krull的最大理想定理》，（Heinzmann，Gerhard；Wolters，Gereon，Paul Lorenzen:数学家和逻辑学家。Paul Lorenzen:Mathematician and Logician，Log.Epistemol.Unity Sci.，vol.51（2021），Springer:Springer-Cham），77-102·Zbl 1490.13001号
[32] 赫尔穆特·施维赫滕贝格（Helmut Schwichtenberg）；Stanley S.Wainer，《证明与计算》。《逻辑观点》（2012），剑桥大学出版社：剑桥大学出版社·Zbl 1294.03006号
[33] Scott，Dana S.，《指称语义的领域》（Nielsen，M.；Schmidt，E.M.，《自动化、语言和编程》，ICALP 1982。自动机、语言和编程。ICALP 1982，计算机科学讲稿。，第140卷（1982），《施普林格：柏林施普林格》·Zbl 0495.68025号
[34] 大卫·威廉·夏普；Vámos，Peter，《注入模块》，《剑桥数学和数学物理丛书》，第62卷（1972年），剑桥大学出版社：剑桥大学出版社·Zbl 0245.13001号
[35] van Dalen，Dirk，《逻辑与结构》（2013），施普林格：施普林格伦敦大学出版社·Zbl 1262.03002号
[36] Yengui，Ihsen，《利用最大理想建设性》，Theor。计算。科学。，392, 174-178 (2008) ·Zbl 1141.13303号
[37] Zorn，Max，关于超限代数方法的评论，布尔。美国数学。学会，41667-670（1935）·Zbl 0012.33702号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。