大卫·费尔南德斯·杜克;安德烈亚斯·魏尔曼 与古德斯坦散步。 (英语) Zbl 07828956号 牛市。符号。日志。 30,编号1,1-19(2024).MSC公司:03F40型 03D20日 03D60年 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández-Duque}和\textit{A.Weiermann},公牛。符号。日志。30,编号1,1--19(2024;Zbl 07828956) 全文: 内政部 arXiv公司
J.P.阿奎莱拉。;帕霍莫夫,F。;Weiermann,A。 功能快速增长的层次结构。 (英语) Zbl 07801005号 论坛数学。西格玛 12,论文编号e15,16 p.(2024).MSC公司:03B30型 2015年1月3日 35楼03号 18甲15 18B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Aguilera}等人,《数学论坛》。Sigma 12,论文编号e15,16 p.(2024;Zbl 07801005) 全文: 内政部 arXiv公司 OA许可证
荒井俊彦;斯坦利·韦纳。;安德烈亚斯·魏尔曼 基于参数化Ackermann-Péter函数的Goodstein序列。 (英语) Zbl 07396324号 牛市。符号。日志。 27,第2期,168-186(2021).MSC公司:2015年1月3日 03D20日 35层03 30楼03号 35楼03号 03天55 PDF格式BibTeX公司 XML格式引用 \textit{T.Arai}等人,公牛。符号。日志。27,第2号,168--186(2021;Zbl 07396324) 全文: 内政部
荒井俊彦;大卫·费尔南德斯·杜克;斯坦利·韦纳;安德烈亚斯·魏尔曼 Ackermannian Goodstein过程的预期无法证明的终止。 (英语) Zbl 1484.03125号 程序。美国数学。Soc公司。 148,编号8,3567-3582(2020).MSC公司:03F40型 03D20日 03D60年 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{T.Arai}等人,Proc。美国数学。Soc.148,No.8,3567--3582(2020;Zbl 1484.03125) 全文: 内政部 arXiv公司
安德烈亚斯·魏尔曼;温·范·霍夫 固定维下Paris Harrington Ramsey数的尖锐相变阈值。 (英语) Zbl 1291.03113号 程序。美国数学。Soc公司。 140,第8期,2913-2927(2012). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:30楼03号 03D20日 03C62号 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{A.Weiermann}和\textit{W.Van Hoof},程序。美国数学。Soc.140,No.8,2913--2927(2012;Zbl 1291.03113) 全文: 内政部
列夫·戈迪夫;安德烈亚斯·魏尔曼 迭代Higman型良部分序的相变。 (英语) Zbl 1251.03076号 架构(architecture)。数学。逻辑 51,编号1-2,127-161(2012).MSC公司:30楼03号 03财年03 35楼03号 2016年1月5日 06A07年 PDF格式BibTeX公司 XML格式引用 \textit{L.Gordeev}和\textit{A.Weiermann},Arch。数学。逻辑51,No.1--2,127--161(2012;Zbl 1251.03076) 全文: 内政部
安德烈亚斯·魏尔曼 哥德尔不完全性的相变。 (英语) Zbl 1165.03048号 Ann.纯粹应用。逻辑 157,编号2-3,281-296(2009). 审核人:M.Yasuhara(普林斯顿) MSC公司:30楼03号 2015年1月3日 03F40型 2016年1月5日 PDF格式BibTeX公司 XML格式引用 \textit{A.Weiermann},Ann.纯苹果。逻辑157,No.2--3,281--296(2009;Zbl 1165.03048) 全文: 内政部
亨利克·科特拉斯基;博伊纳·皮卡特;安德烈亚斯·魏尔曼 关于分区\(\alpha\)-大型集的下限的更多信息。 (英语) Zbl 1123.03043号 Ann.纯粹应用。逻辑 147,第3期,113-126(2007).MSC公司:03E05号 2015年1月3日 2018年5月 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{H.Kotlarski}等人,Ann.Pure Appl。逻辑147,No.3,113--126(2007;Zbl 1123.03043) 全文: 内政部
安德烈亚斯·魏尔曼 对PA的可证明总函数进行分类。 (英语) Zbl 1118.03053号 牛市。符号。日志。 第2期第12页,177-190(2006).MSC公司:30楼03号 03D20日 05年3月 2015年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{A.Weiermann},公牛。符号。日志。12,第2号,177--190(2006;Zbl 1118.03053) 全文: 内政部
安德烈亚斯·魏尔曼 独立结果的分析组合学、证明理论序数和相变。 (英语) Zbl 1090.03028号 Ann.纯粹应用。逻辑 136,第1-2号,189-218(2005).MSC公司:2015年1月3日 30楼03号 03E05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Weiermann},Ann.纯苹果。逻辑136,No.1--2,189--218(2005;Zbl 1090.03028) 全文: 内政部
安德烈亚斯·魏尔曼 无限方法是如何应用于有限数学的?哥德尔(T):案例研究。 (英语) Zbl 0928.03066号 J.塞姆。日志。 63,第4期,1348-1370(1998). 审核人:G.Mints(斯坦福) MSC公司:35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.Weiermann},J.Symb。日志。63,第4号,1348--1370(1998;Zbl 0928.03066) 全文: 内政部