大卫·费尔南德斯·杜克;安德烈亚斯·魏尔曼 与古德斯坦散步。 (英语) 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公司
荒井俊彦;斯坦利·韦纳。;安德烈亚斯·魏尔曼 基于参数化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) 全文: 内政部
安德烈亚斯·魏尔曼 对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) 全文: 内政部