编辑配置文件(在新选项卡中打开) 安德烈亚斯·魏尔曼 合著者距离 作者ID: 魏尔曼·安德里亚斯 发布日期: 安德烈亚斯·魏尔曼;A.魏尔曼。 已编制索引的文档: 97出版物自1990年以来,包括1本书和7额外的arXiv预印本 3作为编辑的贡献 审查活动: 3评论 合著者: 49位合著者具有63联合出版物 717合著作者 全部的 前5名合著者 37 单作者的 9 迈克尔·拉特扬 8 大卫·费尔南德斯·杜克 6 米歇尔·德·斯梅特 5 范德米伦(Jeroen Van der Meeren) 4 冈纳·威尔肯 三 胡安·巴勃罗·阿奎莱拉 三 阿诺德·贝克曼 三 安德烈·博维金。 三 洛伦佐·卡卢奇 三 安东·弗洛伊德 2 阿莱、东山英彦 2 Benjamin布兰克茨 2 威尔弗里德·巴赫霍尔茨 2 列夫·戈迪夫 2 Lee,Gyesik先生 2 埃兰·奥姆里 2 费多尔·帕霍莫夫。 2 斯坦利·斯科特·韦纳 1 哈里·奥尔特曼。 1 马尔蒂恩·巴尔茨 1 亚当·西科恩 1 西贡,E.A。 1 利斯贝斯·德·莫尔 1 帕特里克·德霍诺伊 1 阿诺德五世(Arnoud V.den Boer)。 1 江口、闹喜 1 Sy-David弗里德曼 1 伊万·乔治耶夫 1 奥利奥拉·吉塔吉 1 德克·惠勒布鲁克 1 Joost J.乔斯特恩。 1 梅纳赫姆·科杰曼 1 亨利克·科特拉斯基 1 克里斯蒂安森,拉尔斯 1 弗罗林·马内亚 1 弗雷德里克·梅斯肯斯 1 乔治·莫瑟 1 康斯坦蒂诺斯·帕帕菲利波 1 弗洛里安·佩卢佩西 1 博伊纳·皮卡特 1 施拉格·普赫塔,扬·克里斯托夫 1 戴安娜·施密特 1 彼得·迈克尔·舒斯特 1 莫尼卡·塞森伯格 1 Skordev,Dimit'r G。 1 温·范霍夫 1 汉斯·弗奈夫 1 贾森·文达斯 1 艾伦·罗伯特·伍兹 全部的 前5名系列 12 纯逻辑与应用逻辑年鉴 10 数学逻辑档案 7 数学逻辑季刊(MLQ) 6 符号逻辑杂志 4 美国数学学会会刊 4 逻辑与计算杂志 三 符号逻辑公报 2 组合理论杂志。系列A 1 德国数学协会(DMV) 1 数学进展 1 数学基础 1 数论杂志 1 太平洋数学杂志 1 伦敦数学学会会刊。第三系列 1 Studia Logica公司 1 合成 1 理论计算机科学 1 符号计算杂志 1 MSCS公司。计算机科学中的数学结构 1 离散数学和理论计算机科学。DMTCS公司 1 Oberwolfach报告 1 计算机科学课堂讲稿 1 逻辑趋势——Studia Logica图书馆 1 计算机科学中的逻辑方法 1 数学论坛,西格玛 全部的 前5名领域 86 数学逻辑和基础(03-XX) 17 组合数学(05-XX) 17 计算机科学(68至XX) 8 阶、格、有序代数结构(06-XX) 4 数论(11-XX) 三 总体主题;集合(00-XX) 2 范畴理论;同调代数(18-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 交换代数(13-XX) 1 群论与推广(20-XX) 1 序列、级数、可和性(40-XX) 1 概率论与随机过程(60-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 74出版物有被引用443中的次207文件 引用人▼ 年份▼ 克鲁斯卡尔定理的理论证明研究。 Zbl 0786.03042号 迈克尔·拉特扬;安德烈亚斯·魏尔曼 52 1993 基本序列和层次结构的统一方法。 兹伯利0812.03023 威尔弗里德·巴赫霍尔茨;亚当·西科恩;安德烈亚斯·魏尔曼 31 1994 通过字典路径排序对术语重写系统进行终止证明意味着递归推导长度的乘积。 Zbl 0874.68156号 安德烈亚斯·魏尔曼 25 1995 无穷大拉姆西原理的强度可以通过其密度来衡量。 Zbl 1422.03127号 安德烈·博维金;安德烈亚斯·魏尔曼 23 2017 快速增长的拉姆齐函数的一种分类。 Zbl 1041.03044号 安德烈亚斯·魏尔曼 18 2004 图形枚举在PA中的应用。 Zbl 1041.03045号 安德烈亚斯·魏尔曼 15 2003 逆向数学和有序原则。 Zbl 1260.03018号 迈克尔·拉特扬;安德烈亚斯·魏尔曼 14 2011 缓慢的一致性。 Zbl 1263.03055号 Sy-David弗里德曼;迈克尔·拉特扬;安德烈亚斯·魏尔曼 13 2013 独立结果的分析组合学、证明理论序数和相变。 Zbl 1090.03028号 安德烈亚斯·魏尔曼 13 2005 Kruskal定理某些有限形式的复杂性界。 Zbl 0827.68055号 安德烈亚斯·魏尔曼 11 1994 基本递归数和Ackermannian Ramsey数之间的相变的尖锐阈值。 Zbl 1194.05159号 梅纳赫姆·科杰曼;Lee,Gyesik先生;埃兰·奥姆里;安德烈亚斯·魏尔曼 9 2008 无限方法是如何应用于有限数学的?哥德尔(T):案例研究。 Zbl 0928.03066号 安德烈亚斯·魏尔曼 8 1998 有限多集上项排序的最大阶类型的计算。 Zbl 1268.03064号 安德烈亚斯·魏尔曼 8 2009 Well-partial订单和大Veblen数字。 兹比尔1378.03041 范德米伦(Jeroen Van der Meeren);迈克尔·拉特扬;安德烈亚斯·魏尔曼 8 2015 对PA的可证明总函数进行分类。 Zbl 1118.03053号 安德烈亚斯·魏尔曼 8 2006 使用来自缓慢增长层次结构的函数限制派生长度。 Zbl 0919.03036号 安德烈亚斯·魏尔曼 8 1998 证明术语重写系统的终止。 Zbl 0819.68072号 A.魏尔曼。 7 1992 超图回归Ramsey数的锐化阈值。 Zbl 1251.05103号 洛伦佐·卡卢奇;Lee,Gyesik先生;安德烈亚斯·魏尔曼 7 2011 基本递归函数的项重写理论。 Zbl 0871.03033号 西贡,E.A。;A.魏尔曼。 7 1997 如何用Buchholz算子方法刻画可证全函数。 Zbl 0854.03053号 Benjamin布兰克茨;安德烈亚斯·魏尔曼 6 1996 \(\mathcal M^2)-可计算实数。 Zbl 1260.03088号 迪米特·斯科尔德夫;安德烈亚斯·魏尔曼;伊万·乔治耶夫 6 2012 哥德尔不完全性的相变。 Zbl 1165.03048号 安德烈亚斯·魏尔曼 6 2009 流线型次递归度理论。 兹比尔1245.03063 克里斯蒂安森,拉尔斯;施拉格·普赫塔,扬·克里斯托夫;安德烈亚斯·魏尔曼 6 2012 关于分区\(\alpha\)-大型集的下限的更多信息。 Zbl 1123.03043号 亨利克·科特拉斯基;博伊纳·皮卡特;安德烈亚斯·魏尔曼 6 2007 一些弗里德曼式独立结果的相变阈值。 Zbl 1110.03051号 安德烈亚斯·魏尔曼 6 2007 霍华德·巴赫曼层次结构的序理论表征。 Zbl 1421.03005号 范德米伦(Jeroen Van der Meeren);迈克尔·拉特扬;安德烈亚斯·魏尔曼 6 2017 如何通过局部可预测性来刻画可证明总函数。 Zbl 0859.03028号 安德烈亚斯·魏尔曼 5 1996 同时定义θ函数的序数运算。 Zbl 1223.03036号 安德烈亚斯·魏尔曼;冈纳·威尔肯 5 2011 涉及编织物的不可验证结果。 Zbl 1225.03079号 洛伦佐·卡卢奇;帕特里克·德霍诺伊;安德烈亚斯·魏尔曼 5 2011 多时间函数和相关复杂性类的重写表征。 兹伯利0941.03040 阿诺德·贝克曼;安德烈亚斯·魏尔曼 5 1996 可计算函数的一些自然子类的相变阈值。 Zbl 1110.03052号 安德烈亚斯·魏尔曼 5 2006 通过扩展的水头减少树分析哥德尔(T)。 Zbl 0964.03058号 阿诺德·贝克曼;安德烈亚斯·魏尔曼 4 2000 Ackermannian Goodstein过程的预期无法证明的终止。 Zbl 1484.03125号 阿莱、东山英彦;大卫·费尔南德斯·杜克;斯坦利·韦纳;安德烈亚斯·魏尔曼 4 2020 Goodstein序列和hydra博弈的相变阈值分类。 Zbl 1378.03040号 弗雷德里克·梅斯肯斯;安德烈亚斯·魏尔曼 4 2015 显著序数到\(Pi^1_1)-\(mathrm)序数的Goodstein序列{CA}_0\). Zbl 1320.03082号 安德烈亚斯·魏尔曼;冈纳·威尔肯 4 2013 固定维下Paris Harrington Ramsey数的尖锐相变阈值。 Zbl 1291.03113号 安德烈亚斯·魏尔曼;温·范·霍夫 三 2012 对阿克曼函数的相变阈值进行分类。 兹比尔1160.03021 埃兰·奥姆里;安德烈亚斯·魏尔曼 三 2009 Schütte-Veblen-hierchy的序理论表征。 Zbl 0817.03028号 安德烈亚斯·魏尔曼 三 1993 是什么使(逐点)子递归层次结构增长缓慢? Zbl 0945.03061号 安德烈亚斯·魏尔曼 三 1999 哥德尔T推广霍华德赋值的推导长度分类。 Zbl 1238.03025号 冈纳·威尔肯;安德烈亚斯·魏尔曼 三 2012 与Friedman线性化的具有间隙条件的良部分阶相对应的序数符号系统。 Zbl 1417.03292号 迈克尔·拉特扬;范德米伦(Jeroen Van der Meeren);安德烈亚斯·魏尔曼 三 2017 多项式环上单项式理想坏序列的长度。 Zbl 1244.03122号 弗洛里安·佩卢佩西;安德烈亚斯·魏尔曼 三 2012 利用局部可预测性方法证明Gödel’s(T)的强一致终止。 Zbl 0889.03049号 安德烈亚斯·魏尔曼 三 1997 一阶Peano算法的Ackermannian Goodstein原理。 Zbl 1448.03031号 安德烈亚斯·魏尔曼 三 2018 将派生长度与缓慢增长的层次结构直接关联。 兹比尔1038.68069 乔治·莫瑟;安德烈亚斯·魏尔曼 三 2003 缓慢增长的层次结构的一个非常尖锐的相变阈值。 Zbl 1115.03080号 安德烈亚斯·魏尔曼 三 2006 Hardy、Ramanujan和Karamata的结果在Ackermannian函数中的应用。 Zbl 1036.03032号 安德烈亚斯·魏尔曼 三 2003 用哥德尔(T)的一段描述基本递归函数的特征。 Zbl 0965.03070号 阿诺德·贝克曼;安德烈亚斯·魏尔曼 2 2000 Vereinfachte Kolabierungsfunktionen和ihre Anwendungen。(简化的折叠函数及其应用)。 Zbl 0702.03033号 安德烈亚斯·魏尔曼 2 1991 本质单调递增函数闭包序数的界。 Zbl 0787.03045号 安德烈亚斯·魏尔曼 2 1993 \(\Gamma_0\)的层次结构增长非常缓慢。 Zbl 1088.03045号 安德烈亚斯·魏尔曼 2 2004 缓慢增长的等级制度和阿克曼函数之间的一些有趣的联系。 Zbl 0993.03074号 安德烈亚斯·魏尔曼 2 2001 慢增长与快增长的对比研究:如何通过快速增长功能来优化慢增长功能。 Zbl 0842.03040号 安德烈亚斯·魏尔曼 2 1995 逻辑、组合和独立性结果。2006年11月25日至12月2日举行的小型车间摘要。 Zbl 1177.03008号 2 2006 阿克曼和古德斯坦是功能性的。 Zbl 07410999号 Juan P.阿奎莱拉。;安东·弗洛伊德;迈克尔·拉特扬;安德烈亚斯·魏尔曼 2 2021 迭代Higman型良部分序的相变。 Zbl 1251.03076号 列夫·戈迪夫;安德烈亚斯·魏尔曼 2 2012 \(\varepsilon_0\)的零一定律表征。 Zbl 1040.03035号 安德烈亚斯·魏尔曼 2 2002 一类有序迭代指数项的分析组合学。 邮编1099.05009 安德烈亚斯·魏尔曼 2 2005 最小坏序列是统一Kruskal定理所必需的。 Zbl 07507731号 安东·弗洛伊德;迈克尔·拉特扬;安德烈亚斯·魏尔曼 2 2022 初等下降递归函数的一个尖锐的相变阈值。 Zbl 1134.03032号 阿诺德·登波尔;安德烈亚斯·魏尔曼 1 2007 以下序数的一些自然零一定律(epsilon_{0})。 Zbl 1358.03066号 安德烈亚斯·魏尔曼;伍兹,艾伦·R。 1 2012 缓慢增长与快速增长。 Zbl 1024.03039号 安德烈亚斯·魏尔曼 1 2002 Aczel-Buchholz-Feferman函数的一个函数性质。 Zbl 0808.03039号 安德烈亚斯·魏尔曼 1 1994 简化的折叠函数及其应用。(Vereinfachte Kollaliperungsfunktitonen und ihre Anwendungen.) Zbl 0774.03033号 安德烈亚斯·魏尔曼 1 1991 Veblen层次结构的简化函数构造。 Zbl 0814.03037号 安德烈亚斯·魏尔曼 1 1993 弱递增序列的相变。 Zbl 1143.03020号 米歇尔·德·斯梅特;安德烈亚斯·魏尔曼 1 2008 从Bachmann-Howard序数到主要序数的Goodstein序列。 Zbl 1251.03069号 德米特,米歇尔;安德烈亚斯·魏尔曼 1 2012 与弱递增序列相关的相变的尖锐阈值。 Zbl 1244.03121号 米歇尔·德·斯梅特;安德烈亚斯·魏尔曼 1 2012 不可证明性、相变和黎曼齐塔函数。 Zbl 1202.03021号 安德烈·博维金;安德烈亚斯·魏尔曼 1 2009 超限分析组合学:统一的Tauberian观点。 兹比尔1225.03078 安德烈亚斯·魏尔曼 1 2010 如何比较Buchholz式序数符号系统和Gordeev式符号系统。 Zbl 1461.03053号 范德米伦(Jeroen van der Meeren);安德烈亚斯·魏尔曼 1 2015 具有某些素分解的整数的渐近分布。 Zbl 1284.05033号 汉斯·弗奈夫;贾森·文达斯;安德烈亚斯·魏尔曼 1 2014 证明理论中的相变。 Zbl 1355.03046号 列夫·戈迪夫;安德烈亚斯·魏尔曼 1 2010 Ackermannian Goodstein中间生长序列。 Zbl 07633505号 大卫·费尔南德斯·杜克;安德烈亚斯·魏尔曼 1 2020 最小坏序列是统一Kruskal定理所必需的。 Zbl 07507731号 安东·弗洛伊德;迈克尔·拉特扬;安德烈亚斯·魏尔曼 2 2022 阿克曼和古德斯坦开始发挥作用。 Zbl 07410999号 Juan P.阿奎莱拉。;安东·弗洛伊德;迈克尔·拉特扬;安德烈亚斯·魏尔曼 2 2021 Ackermannian Goodstein过程的预期无法证明的终止。 Zbl 1484.03125号 荒井俊彦;大卫·费尔南德斯·杜克;斯坦利·韦纳;安德烈亚斯·魏尔曼 4 2020 Ackermannian Goodstein中间生长序列。 Zbl 07633505号 大卫·费尔南德斯·杜克;安德烈亚斯·魏尔曼 1 2020 一阶Peano算法的Ackermannian Goodstein原理。 Zbl 1448.03031号 安德烈亚斯·魏尔曼 三 2018 无穷大拉姆西原理的强度可以通过其密度来衡量。 Zbl 1422.03127号 安德烈·博维金;安德烈亚斯·魏尔曼 23 2017 霍华德·巴赫曼层次结构的序理论表征。 Zbl 1421.03005号 范德米伦(Jeroen Van der Meeren);迈克尔·拉特扬;安德烈亚斯·魏尔曼 6 2017 与Friedman线性化的具有间隙条件的良部分阶相对应的序数符号系统。 Zbl 1417.03292号 迈克尔·拉特扬;范德米伦(Jeroen Van der Meeren);安德烈亚斯·魏尔曼 三 2017 Well-partial订单和大Veblen数字。 兹比尔1378.03041 范德米伦(Jeroen Van der Meeren);迈克尔·拉特扬;安德烈亚斯·魏尔曼 8 2015 Goodstein序列和hydra博弈的相变阈值分类。 Zbl 1378.03040号 弗雷德里克·梅斯肯斯;安德烈亚斯·魏尔曼 4 2015 如何比较Buchholz式序数符号系统和Gordeev式符号系统。 Zbl 1461.03053号 范德米伦(Jeroen van der Meeren);安德烈亚斯·魏尔曼 1 2015 具有某些素分解的整数的渐近分布。 Zbl 1284.05033号 汉斯·弗奈夫;贾森·文达斯;安德烈亚斯·魏尔曼 1 2014 缓慢的一致性。 Zbl 1263.03055号 Sy-David弗里德曼;迈克尔·拉特扬;安德烈亚斯·魏尔曼 13 2013 显著序数到\(Pi^1_1)-\(mathrm)序数的Goodstein序列{CA}_0\). Zbl 1320.03082号 安德烈亚斯·魏尔曼;冈纳·威尔肯 4 2013 \(\数学M^2 \)-可计算的实数。 Zbl 1260.03088号 迪米特·斯科尔德夫;安德烈亚斯·魏尔曼;伊万·乔治耶夫 6 2012 流线型次递归度理论。 Zbl 1245.03063号 克里斯蒂安森,拉尔斯;施拉格·普赫塔,扬·克里斯托夫;安德烈亚斯·魏尔曼 6 2012 固定维下Paris Harrington Ramsey数的尖锐相变阈值。 Zbl 1291.03113号 安德烈亚斯·魏尔曼;温·范·霍夫 三 2012 哥德尔T推广霍华德赋值的推导长度分类。 Zbl 1238.03025号 冈纳·威尔肯;安德烈亚斯·魏尔曼 三 2012 多项式环上单项式理想坏序列的长度。 Zbl 1244.03122号 弗洛里安·佩卢佩西;安德烈亚斯·魏尔曼 三 2012 迭代Higman型良部分序的相变。 兹比尔1251.03076 列夫·戈迪夫;安德烈亚斯·魏尔曼 2 2012 以下序数的一些自然零一定律(epsilon_{0})。 Zbl 1358.03066号 安德烈亚斯·魏尔曼;艾伦·伍兹。 1 2012 从Bachmann-Howard序数到主要序数的Goodstein序列。 Zbl 1251.03069号 米歇尔·德·斯梅特;安德烈亚斯·魏尔曼 1 2012 与弱递增序列相关的相变的尖锐阈值。 Zbl 1244.03121号 米歇尔·德·斯梅特;安德烈亚斯·魏尔曼 1 2012 逆向数学和有序原则。 Zbl 1260.03018号 迈克尔·拉特扬;安德烈亚斯·魏尔曼 14 2011 超图回归Ramsey数的锐化阈值。 Zbl 1251.05103号 洛伦佐·卡卢奇;Lee,Gyesik先生;安德烈亚斯·魏尔曼 7 2011 同时定义θ函数的序数运算。 Zbl 1223.03036号 安德烈亚斯·魏尔曼;冈纳·威尔肯 5 2011 涉及编织物的不可验证结果。 兹比尔1225.03079 洛伦佐·卡卢奇;帕特里克·德霍诺伊;安德烈亚斯·魏尔曼 5 2011 超限分析组合学:统一的Tauberian观点。 Zbl 1225.03078号 安德烈亚斯·魏尔曼 1 2010 证明理论中的相变。 Zbl 1355.03046号 列夫·戈迪夫;安德烈亚斯·魏尔曼 1 2010 有限多集上项序的最大阶型的计算。 兹比尔1268.03064 安德烈亚斯·魏尔曼 8 2009 哥德尔不完全性的相变。 Zbl 1165.03048号 安德烈亚斯·魏尔曼 6 2009 对阿克曼函数的相变阈值进行分类。 Zbl 1160.03021号 埃兰·奥姆里;安德烈亚斯·魏尔曼 三 2009 不可证明性、相变和黎曼齐塔函数。 Zbl 1202.03021号 安德烈·博维金;安德烈亚斯·魏尔曼 1 2009 基本递归数和Ackermannian Ramsey数之间的相变的尖锐阈值。 Zbl 1194.05159号 梅纳赫姆·科杰曼;Lee,Gyesik先生;埃兰·奥姆里;安德烈亚斯·魏尔曼 9 2008 弱递增序列的相变。 Zbl 1143.03020号 米歇尔·德·斯梅特;安德烈亚斯·魏尔曼 1 2008 关于分区\(\alpha\)-大型集的下限的更多信息。 Zbl 1123.03043号 亨利克·科特拉斯基;博伊纳·皮卡特;安德烈亚斯·魏尔曼 6 2007 一些弗里德曼式独立结果的相变阈值。 Zbl 1110.03051号 安德烈亚斯·魏尔曼 6 2007 初等下降递归函数的一个尖锐的相变阈值。 Zbl 1134.03032号 阿诺德·登波尔;安德烈亚斯·魏尔曼 1 2007 对PA的可证明总函数进行分类。 Zbl 1118.03053号 安德烈亚斯·魏尔曼 8 2006 可计算函数的一些自然子类的相变阈值。 Zbl 1110.03052号 安德烈亚斯·魏尔曼 5 2006 缓慢增长的层次结构的一个非常尖锐的相变阈值。 Zbl 1115.03080号 安德烈亚斯·魏尔曼 三 2006 逻辑、组合和独立性结果。2006年11月25日至12月2日举行的小型车间摘要。 Zbl 1177.03008号 2 2006 独立结果的分析组合学、证明理论序数和相变。 Zbl 1090.03028号 安德烈亚斯·魏尔曼 13 2005 一类有序迭代指数项的分析组合学。 兹比尔1099.0509 安德烈亚斯·魏尔曼 2 2005 快速增长的拉姆齐函数的分类。 Zbl 1041.03044号 安德烈亚斯·魏尔曼 18 2004 \(\Gamma_0\)的层次结构增长非常缓慢。 Zbl 1088.03045号 安德烈亚斯·魏尔曼 2 2004 图形枚举在PA中的应用。 Zbl 1041.03045号 安德烈亚斯·魏尔曼 15 2003 将派生长度与缓慢增长的层次结构直接联系起来。 Zbl 1038.68069号 乔治·莫瑟;安德烈亚斯·魏尔曼 三 2003 Hardy、Ramanujan和Karamata的结果在Ackermannian函数中的应用。 Zbl 1036.03032号 安德烈亚斯·魏尔曼 三 2003 \(\varepsilon_0\)的零一定律表征。 Zbl 1040.03035号 安德烈亚斯·魏尔曼 2 2002 缓慢增长与快速增长。 Zbl 1024.03039号 安德烈亚斯·魏尔曼 1 2002 缓慢增长的层次结构和Ackermann函数之间有一些有趣的联系。 Zbl 0993.03074号 安德烈亚斯·魏尔曼 2 2001 通过扩展的水头减少树分析哥德尔(T)。 Zbl 0964.03058号 阿诺德·贝克曼;安德烈亚斯·魏尔曼 4 2000 用哥德尔(T)的一段描述基本递归函数的特征。 Zbl 0965.03070号 阿诺德·贝克曼;安德烈亚斯·魏尔曼 2 2000 是什么使得(逐点)子递归层次结构增长缓慢? Zbl 0945.03061号 安德烈亚斯·魏尔曼 三 1999 无限方法是如何应用于有限数学的?哥德尔(T):案例研究。 Zbl 0928.03066号 安德烈亚斯·魏尔曼 8 1998 使用来自缓慢增长层次结构的函数限制派生长度。 Zbl 0919.03036号 安德烈亚斯·魏尔曼 8 1998 基本递归函数的项重写理论。 Zbl 0871.03033号 西贡,E.A。;A.魏尔曼。 7 1997 利用局部可预测性方法证明Gödel’s(T)的强一致终止。 Zbl 0889.03049号 安德烈亚斯·魏尔曼 三 1997 如何用Buchholz算子方法刻画可证全函数。 Zbl 0854.03053号 Benjamin布兰克茨;安德烈亚斯·魏尔曼 6 1996 如何通过局部可预测性来刻画可证明总函数。 Zbl 0859.03028号 安德烈亚斯·魏尔曼 5 1996 多时间函数和相关复杂性类的重写表征。 Zbl 0941.03040号 阿诺德·贝克曼;安德烈亚斯·魏尔曼 5 1996 通过字典路径排序对术语重写系统进行终止证明意味着递归推导长度的乘积。 兹伯利0874.68156 安德烈亚斯·魏尔曼 25 1995 慢增长与快增长的对比研究:如何通过快速增长功能来优化慢增长功能。 Zbl 0842.03040号 安德烈亚斯·魏尔曼 2 1995 基本序列和层次结构的统一方法。 Zbl 0812.03023号 威尔弗里德·巴赫霍尔茨;亚当·西科恩;安德烈亚斯·魏尔曼 31 1994 Kruskal定理某些有限形式的复杂性界。 Zbl 0827.68055号 安德烈亚斯·魏尔曼 11 1994 Aczel-Buchholz-Feferman函数的一个函数性质。 Zbl 0808.03039号 安德烈亚斯·魏尔曼 1 1994 克鲁斯卡尔定理的理论证明研究。 Zbl 0786.03042号 迈克尔·拉特扬;安德烈亚斯·魏尔曼 52 1993 Schütte-Veblen-hierchy的序理论表征。 Zbl 0817.03028号 安德烈亚斯·魏尔曼 三 1993 本质单调递增函数闭包序数的界。 Zbl 0787.03045号 安德烈亚斯·魏尔曼 2 1993 维布伦层次结构的一种简化的函数结构。 Zbl 0814.03037号 安德烈亚斯·魏尔曼 1 1993 证明术语重写系统的终止。 Zbl 0819.68072号 A.魏尔曼。 7 1992 Vereinfachte Kolabierungsfunktionen和ihre Anwendungen。(简化的折叠函数及其应用)。 Zbl 0702.03033号 安德烈亚斯·魏尔曼 2 1991 简化的折叠函数及其应用。(Vereinfachte Kollaliperungsfunktitonen und ihre Anwendungen.) Zbl 0774.03033号 安德烈亚斯·魏尔曼 1 1991 所有引用的出版物 前5名被引用出版物 全部的 前5名145位作者引用 35 安德烈亚斯·魏尔曼 17 安东·弗洛伊德 15 迈克尔·拉特扬 9 卢多维奇·佩蒂 8 阿莱、东山英彦 8 冈纳·威尔肯 7 乔治·莫瑟 7 斯坦利·斯科特·韦纳 7 Keita横山 6 安东尼奥·蒙塔尔班 5 大卫·费尔南德斯·杜克 5 格奥尔基耶夫,伊万 5 Lee,Gyesik先生 5 沃尔夫拉姆·波勒 4 安德烈·博维金。 4 费多尔·帕霍莫夫。 4 范德米伦(Jeroen Van der Meeren) 三 胡安·巴勃罗·阿奎莱拉 三 威尔弗里德·巴赫霍尔茨 三 列夫·戈迪夫 三 亚历山大·克鲁泽。 三 弗洛里安·佩卢佩西 三 西尔万·施密茨 2 阿夫沙里语、巴哈雷语 2 马丁·阿文齐尼 2 贝克列米舍夫,列夫·D。 2 蒂莫西·卡尔森。 2 洛伦佐·卡卢奇 2 米歇尔·德·斯梅特 2 帕特里克·德霍诺伊 2 纳鸿·德肖维茨 2 江口、闹喜 2 维萨·哈拉瓦 2 特罗·哈尔朱 2 Nao Hirokawa 2 扬·威廉·克鲁普 2 乌尔里希·威廉·科伦巴赫 2 Kołodziejczyk、Leszek Aleksander 2 亨利克·科特拉斯基 2 克里斯蒂安森,拉尔斯 2 萨尔瓦多卢卡斯 2 阿尔贝托·马可尼 2 阿尔特·米德尔多普 2 雷诺·尼斯卡宁 2 加布里埃尔·尼瓦什 2 埃兰·奥姆里 2 伊戈尔·波塔波夫 2 安德烈亚斯·施纳布尔 2 赫尔穆特·施维赫滕贝格 2 保罗·沙弗 2 威廉·斯特顿。 2 贾森·文达斯 2 阿尔伯特·维瑟 2 哈拉尔德·赞克 2 康拉德·兹达诺夫斯基 1 塞尔吉奥·阿布里奥拉 1 克劳斯·埃利格 1 莫伊塔巴·阿盖伊 1 安德鲁·阿拉纳 1 阿诺德·贝克曼 1 Laurent Bienvenu 1 特蕾莎·比戈拉伊斯卡 1 弗雷德里克·布兰基 1 纪尧姆·邦芬特 1 罗伯特·布里纳尔 1 Aleksandr Igorevich,Bufetov 1 Samuel R.巴斯。 1 安德烈斯·爱德华多·凯塞多 1 凯斯,约翰 1 程勇 1 西贡,E.A。 1 安德烈斯·科多恩·佛朗哥 1 约翰·纽索姆·克罗斯利 1 乌戈·达尔拉戈 1 格雷戈里·德布鲁恩 1 克里斯蒂安·德尔霍姆 1 米尔纳季阿蒙加 1 约尔格恩德鲁利斯 1 杰夫·埃里克森 1 圣地亚哥菲格拉 1 托马索·弗拉米尼奥 1 鲁道夫·弗莱舍 1 法比安·吉沃斯 1 Jean Goubault Larrecq先生 1 郭丽叶 1 西格·汉德利。 1 爱德华多·赫莫·雷耶斯 1 迪特尔·霍夫鲍尔 1 罗莎莉,伊姆霍夫 1 费利克斯·约阿奇姆斯基 1 Joost J.乔斯特恩。 1 Jean-Pierre Jouannaud 1 秋弘市卡纳莫里 1 坎奇科斯,安妮卡 1 康晓军 1 亚历山大·凯克里斯。 1 阿米尔·坎什 1 Kim,Hwajeong先生 1 基姆·曼纽尔·克莱恩 1 梅纳赫姆·科杰曼 …还有45位作者 全部的 前5名在45篇连载文章中被引用 38 纯逻辑与应用逻辑年鉴 20 数学逻辑档案 16 符号逻辑杂志 12 符号逻辑公报 8 数学逻辑季刊(MLQ) 6 信息与计算 4 圣母院形式逻辑杂志 4 美国数学学会会刊 4 理论计算机科学 三 数学进展 三 美国数学学会汇刊 三 选择Mathematica。新系列 三 数学逻辑杂志 2 组合理论杂志。系列A 2 符号计算杂志 2 自动推理杂志 2 计算机科学中的逻辑方法 1 休斯顿数学杂志 1 以色列数学杂志 1 《伦敦数学学会通报》 1 伦敦数学学会杂志。第二系列 1 数论杂志 1 纯粹与应用代数杂志 1 太平洋数学杂志 1 Studia Logica公司 1 欧洲组合数学杂志 1 订单 1 MSCS公司。计算机科学中的数学结构 1 Godishnik na Sofiĭskiya大学“Sv.Kliment-Okhridski”。Fakultet po Matematika i Informatika公司 1 Indagationes Mathematicae公司。新系列 1 工程、通信和计算中的应用代数 1 函数编程杂志 1 斯博尼克:数学 1 计算系统理论 1 韩国数学学会通讯 1 RAIRO公司。理论信息学及其应用 1 Oberwolfach报告 1 中国数学前沿 1 符号逻辑述评 1 哲学指南针 1 数学论坛,西格玛 1 伦敦数学学会会刊 1 ACM计算理论汇刊 1 程序设计中的逻辑与代数方法杂志 1 组合理论 全部的 前5名17个领域引用 170 数学逻辑和基础(03-XX) 46 计算机科学(68至XX) 35 组合数学(05-XX) 24 阶、格、有序代数结构(06-XX) 5 总体主题;集合(00-XX) 4 历史和传记(01-XX) 4 范畴理论;同调代数(18-XX) 三 数论(11-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 群论与推广(20-XX) 1 交换代数(13-XX) 1 结合环与代数(16-XX) 1 序列、级数、可和性(40-XX) 1 一般拓扑结构(54至XX) 1 流形和细胞复合体(57至XX) 1 运筹学、数学规划(90-XX) 1 数学教育(97-XX) 按年份列出的引文