安东·弗伦德;迈克尔·拉特扬 迭代理解的良好排序原则。 (英语) Zbl 07756888号 选择。数学。,新序列号。 29,第5号,第76号论文,83页(2023年). 审核人:杰弗里·赫斯特(布恩) 理学硕士:03B30型 03D60年 2015年1月3日 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.Freund}和\textit{M.Rathjen},塞尔。数学。,新序列号。29,第5号,第76号论文,83页(2023;Zbl 07756888) 全文: 内政部 arXiv公司 OA许可证
迈克尔·拉特扬 证明理论和逆向数学中的有序原则。 (英语) 兹比尔07632450 Ferreira,Fernando(编辑)等人,公理思维II。查姆:斯普林格。89-127 (2022).理学硕士:03-03 03年05月 PDF格式BibTeX公司 XML格式引用 \textit{M.Rathjen},in:公理思维II。查姆:斯普林格。89-127(2022;Zbl 07632450) 全文: 内政部 arXiv公司
劳拉·克罗西拉 预测性和建构数学。 (英语) Zbl 07598443号 Oliveri,Gianluigi(编辑)等人,《对象、结构和逻辑》。FilMat研究数学哲学。查姆:斯普林格。波士顿Stud.Philos。历史。科学。339, 287-309 (2022).理学硕士:03年XX月 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{L.Crosilla},波士顿Stud.Philos。历史。科学。339287--309(2022;Zbl 07598443) 全文: 内政部 链接
安东·弗伦德;迈克尔·拉特扬;安德烈亚斯·魏尔曼 最小坏序列是统一Kruskal定理所必需的。 (英语) Zbl 07507731号 高级数学。 400,文章ID 108265,44 p.(2022).理学硕士:03B30型 05二氧化碳 06A07年 2012年第68季度 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.Freund}等人,高级数学。400,文章ID 108265,44 p.(2022;Zbl 07507731) 全文: 内政部 arXiv公司
安东·弗洛伊德;迈克尔·拉特扬 反数学中正规函数的导数。 (英语) Zbl 1473.03036号 Ann.纯粹应用。逻辑 172,第2号,文章ID 102890,50页(2021). 审核人:安德烈·西波什(布库雷什蒂) 理学硕士:2015年1月3日 03B30型 35楼03号 03D60年 03E10年 PDF格式BibTeX公司 XML格式引用 \textit{A.Freund}和\textit{M.Rathjen},Ann.Pure Appl。逻辑172,第2号,文章ID 102890,50页(2021;Zbl 1473.03036) 全文: 内政部 arXiv公司
Wolfram波勒 重新审视了预测性的局限性。 (英语) Zbl 07438594号 莱因哈德·卡勒(编辑)等人,《库尔特·施瓦特的遗产》。查姆:斯普林格。129-165 (2020).理学硕士:2015年1月3日 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{W.Pohlers},摘自:库尔特·施瓦特的遗产。查姆:斯普林格。129-165(2020;Zbl 07438594) 全文: 内政部
迈克尔·巴兹基;贾格尔,格哈德 再次看一下关于(Gamma_0)的证明理论强度的一些理论。 (英语) Zbl 07438593号 莱因哈德·卡勒(编辑)等人,《库尔特·施瓦特的遗产》。查姆:斯普林格。103-128 (2020).理学硕士:2015年1月3日 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bärtschi}和\textit{G.Jäger},《库尔特·舒特的遗产》。查姆:斯普林格。103-128(2020;Zbl 07438593) 全文: 内政部
沃尔夫冈·比贝尔 库尔特·舒特的回忆。 (英语) Zbl 1479.01010号 莱因哈德·卡勒(编辑)等人,《库尔特·施瓦特的遗产》。查姆:斯普林格。63-69 (2020).理学硕士:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{W.Bibel},in:库尔特·舒特的遗产。查姆:斯普林格。63-69(2020年;Zbl 1479.01010) 全文: 内政部
戴安娜·施密特 Well-partial排序及其最大排序类型。 (英语) Zbl 1496.03235号 Schuster,Peter M.(编辑)等人,《计算、逻辑、语言和推理中的Well准序》。证明理论、自动机理论、形式语言和描述性集合理论的统一概念。基于2015年9月21日至25日在德国汉堡举行的德国数学博物馆(DMV)内举行的关于良好准序:从理论到应用的小型研讨会,以及2016年1月17日至22日在德国达格斯图尔学院举行的关于计算机科学中良好准序的达格斯图研讨会16031。查姆:斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。53, 351-391 (2020).理学硕士:2015年1月3日 03E10年 03D60年 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{D.Schmidt},趋势日志。螺柱日志。伦敦银行同业拆借利率。53、351--391(2020年;Zbl 1496.03235) 全文: 内政部
卡洛·尼古莱;马里奥广场 算术理论的隐含承诺及其语义核心。 (英语) Zbl 1474.03033号 埃尔肯特尼斯 84,第4期,913-937(2019).理学硕士:03年05月 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{C.Nicolai}和\textit{M.Piazza},Erkentnis 84,No.4,913--937(2019;Zbl 1474.03033) 全文: 内政部 OA许可证
安东·弗伦德 \(Pi_1^1)-理解是一个有序的原则。 (英语) Zbl 1441.03012号 高级数学。 355,文章ID 106767,65 p.(2019). 审核人:杰弗里·赫斯特(布恩) 理学硕士:03B30型 03D60年 03英尺15英寸 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.Freund},高级数学。355,文章ID 106767,65 p.(2019;Zbl 1441.03012) 全文: 内政部 arXiv公司
劳拉·克罗西拉 预测性和费曼。 (英语) Zbl 1429.03019号 Jäger,Gerhard(编辑)等人,《地基上的费弗曼》。逻辑、数学、哲学。查姆:斯普林格。Outst公司。控制日志。13, 423-447 (2017).理学硕士:03年05月 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{L.Crosilla},出局。控制日志。13、423--447(2017;Zbl 1429.03019) 全文: 内政部 链接
托马斯·斯特拉姆 展开原理图系统。 (英语) Zbl 1429.03195号 Jäger,Gerhard(编辑)等人,《地基上的费弗曼》。逻辑、数学、哲学。查姆:斯普林格。Outst公司。控制日志。13, 187-208 (2017).理学硕士:03财年03 30楼03号 03天75 PDF格式BibTeX公司 XML格式引用 \textit{T.Strahm},Outst(输出)。控制日志。13、187--208(2017年;Zbl 1429.03195) 全文: 内政部
沃尔特·迪安;肖恩·沃尔什 二阶算术子系统的史前史。 (英语) Zbl 1376.03005号 版本符号。日志。 10,第2期,357-396(2017). 审核人:Robert W.van der Waall(阿姆斯特丹) 理学硕士:03-03 35楼03号 03B30型 03层60 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{W.Dean}和\textit{S.Walsh},Rev.Symb。日志。10,第2号,357--396(2017;Zbl 1376.03005) 全文: 内政部 arXiv公司
沃尔夫拉姆·波勒 从分析子系统到集合论子系统。 (英语) Zbl 1439.03104号 Kahle,Reinhard(编辑)等人,《证明理论的进展》。2013年12月13日至14日,在Gerhard Jäger 60岁生日之际,瑞士伯尔尼,研讨会记录。巴塞尔:Birkhäuser/Springer。掠夺。计算。科学。申请。日志。28, 319-338 (2016).理学硕士:35楼03号 03E30年 PDF格式BibTeX公司 XML格式引用 \textit{W.Pohlers},程序。计算。科学。申请。日志。28319--338(2016;Zbl 1439.03104) 全文: 内政部
所罗门·费弗曼 操作角度:三条路线。 (英语) Zbl 1439.03018号 Kahle,Reinhard(编辑)等人,《证明理论的进展》。2013年12月13日至14日,瑞士伯尔尼,Gerhard Jäger诞辰60周年之际,研讨会记录。巴塞尔:Birkhäuser/Springer。掠夺。计算。科学。申请。日志。28, 269-289 (2016).理学硕士:03年05月 03财年03 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{S.Feferman},程序。计算。科学。申请。日志。28269--289(2016;Zbl 1439.03018) 全文: 内政部
L.D.Beklemishev。 通过迭代反射证明理论分析。 (英语) 兹比尔1402.03079 乔瓦尼(编辑)等,《图灵的革命》。他的可计算性思想的影响。查姆:Birkhäuser/Springer(ISBN 978-3-319-22155-7/hbk;978-3-3169-22156-4/电子书)。225-270 (2015).理学硕士:2015年1月3日 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{L.D.Beklemishev},in:图灵革命。他的可计算性思想的影响。查姆:Birkhäuser/Springer。225-270(2015;Zbl 1402.03079) 全文: 内政部
劳拉·克罗西拉 错误和预测性。 (英语) Zbl 1461.03004号 Beckmann,Arnold(编辑)等人,《进化可计算性》。2015年6月29日至7月3日在罗马尼亚布加勒斯特举行的第十一届欧洲可计算性会议,CiE 2015。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。9136, 13-22 (2015).理学硕士:03-03 03年05月 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{L.Crosilla},莱克特。注释计算。科学。9136,13-22(2015;Zbl 1461.03004) 全文: 内政部
普勒斯,W。 证明理论和序数分析。 (英语) Zbl 0724.03033号 架构(architecture)。数学。逻辑 30,编号5-6,311-376(1991). 审核人:H.Pfeiffer(汉诺威) 理学硕士:2015年1月3日 03财年03 05年3月 07年3月 03E55 20层03 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{W.Pohlers},拱门。数学。逻辑30,编号5--6311--376(1991;Zbl 0724.03033) 全文: 内政部
L.戈迪夫。 Kruskal-Friedman定理一维版本的推广。 (英语) Zbl 0721.03041号 J.塞姆。日志。 54,第1号,100-121(1989).理学硕士:35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{L.Gordeev},J.Symb。日志。54,第1号,100-121(1989;Zbl 0721.03041) 全文: 内政部
Wolfgang的Maaß Eine Funkitonical interpretation der prädikativen Analysis分析。 (德语) Zbl 0381.03043号 架构(architecture)。数学。Logik Grundlagenforsch公司。 18, 27-46 (1976).理学硕士:2010年1月3日 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{W.Maaß},拱门。数学。Logik Grundlagenforsch公司。18、27——46(1976;Zbl 0381.03043) 全文: 内政部 欧洲DML