编辑配置文件(在新选项卡中打开) 威尔弗里德·巴赫霍尔茨 合著者距离 作者ID: 布查尔茨·威尔弗里德 发布日期: 威尔弗里德·巴赫霍尔茨 主页: https://www.mathematik.uni-muenchen.de/~buchholz(布赫霍尔茨)/ 外部链接: MGP公司 已编制索引的文档: 34出版物自1975年以来,包括2本书 1名编辑贡献 合著者: 12位合著者具有13联合出版物 292合著作者 全部的 前5名合著者 22 单作者的 4 库尔特·舒特 2 沃尔夫拉姆·波勒 2 威弗里德·西格 2 安德烈亚斯·魏尔曼 1 乌尔里希·伯杰 1 亚当·西科恩 1 所罗门·费弗曼 1 莱因哈德·卡勒 1 米茨,格里戈里ĭEfroimovich 1 赫尔穆特·施维滕贝格 1 谢尔盖·图帕伊洛 1 斯坦利·斯科特·韦纳 全部的 前5名系列 6 纯逻辑与应用逻辑年鉴 5 数学逻辑档案 3 Archive für Mathematische Logik und Grundlagenforschung公司 2 Bayerische Akademie der Wissenschaften公司。Mathematisch-Naturwissenschaftliche Klasse。Sitzungsberichte公司 2 《数理逻辑季刊》 1 符号逻辑杂志 1 逻辑与计算杂志 1 数学讲义 1 证明理论研究。专题论文 领域 34 数学逻辑和基础(03-XX) 5 计算机科学(68至XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 30出版物有被引用508中的次320份文件 引用人▼ 年份▼ 重复归纳定义和分析子系统:最近的理论研究证明。 Zbl 0489.03022号 威尔弗里德·巴赫霍尔茨;所罗门·费弗曼;沃尔夫拉姆·波勒;威弗里德·西格 142 1981 非指示子系统分析的证明理论。 Zbl 0653.03039号 威尔弗里德·巴赫霍尔茨;库尔特·舒特 36 1988 一个新的证明理论序数函数系统。 Zbl 0655.03038号 威尔弗里德·巴赫霍尔茨 34 1986 基本序列和层次结构的统一方法。 Zbl 0812.03023号 威尔弗里德·巴赫霍尔茨;亚当·西科恩;安德烈亚斯·魏尔曼 31 1994 无穷导数的符号系统。 Zbl 0726.03038号 威尔弗里德·巴赫霍尔茨 28 1991 局部谓词的简化版本。 兹伯利0795.03078 威尔弗里德·巴赫霍尔茨 27 1992 Ordinalzahlen正常功能与功能系统。 Zbl 0342.02021号 威尔弗里德·巴赫霍尔茨 24 1975 终止证明的证明理论分析。 Zbl 0844.03031号 威尔弗里德·巴赫霍尔茨 23 1995 可显著计算的功能和快速增长的层次结构。 Zbl 0635.03056号 威尔弗里德·巴赫霍尔茨;斯坦·韦纳 22 1987 \((\Pi^1_ 1-CA)+BI\)的独立结果。 Zbl 0636.03052号 威尔弗里德·巴赫霍尔茨 18 1987 元素分析的Epsilon替代法。 Zbl 0848.03032号 格里戈里薄荷;谢尔盖·图帕伊洛;威尔弗里德·巴赫霍尔茨 17 1996 从经典证明中提取的精化程序。 Zbl 0992.03070号 乌尔里希·伯杰;威尔弗里德·巴赫霍尔茨;赫尔穆特·施维滕贝格 15 2002 超限迭代归纳定义形式理论的可证明好序。 Zbl 0411.03046号 威尔弗里德·巴赫霍尔茨;沃尔夫拉姆·波勒 15 1978 坐标系是指Abgrenzung der(\Pi^1_2\)-分离和Bar Indukion的理论。 Zbl 0573.03028号 威尔弗里德·巴赫霍尔茨;库尔特·舒特 12 1984 解释Gentzen-Takeuti约化步骤:二阶系统。 Zbl 1007.03051号 威尔弗里德·巴赫霍尔茨 9 2001 用无穷证明理论解释Gentzen的一致性证明。 Zbl 0887.03043号 威尔弗里德·巴赫霍尔茨 9 1997 Die Beziehungen zwischen den Ordinalzahlsystemen\(\Sigma\)und\(\Theta(\omega)\)。 Zbl 0339.02027号 威尔弗里德·巴赫霍尔茨;库尔特·舒特 9 1976 流式数据结构上(共)递归定义的术语演算。 邮编1093.03008 威尔弗里德·巴赫霍尔茨 6 2005 一种直观的不动点理论。 Zbl 0903.03034号 威尔弗里德·巴赫霍尔茨 5 1997 关于KPM序数分析的注记。 Zbl 0801.03036号 威尔弗里德·巴赫霍尔茨 4 1993 U ber Teilsysteme von\(\overline\Theta(\{g\})\)。 Zbl 0366.02017号 威尔弗里德·巴赫霍尔茨 4 1976 Ein ausgezeichnetes Modell für die直觉主义类型逻辑。 Zbl 0317.02026号 威尔弗里德·巴赫霍尔茨 3 1975 关于巴赫曼-霍华德序数的序数符号的调查。 Zbl 1429.03206号 威尔弗里德·巴赫霍尔茨 3 2017 诱导性定义与扩张。(归纳定义和扩张器)。 Zbl 0642.03034号 威尔弗里德·巴赫霍尔茨 2 1988 操作员控制衍生的金融处理。 Zbl 0986.03044号 威尔弗里德·巴赫霍尔茨 2 2001 关于巴赫曼-霍华德序数的序数符号的调查。 Zbl 1439.03100号 威尔弗里德·巴赫霍尔茨 2 2016 关于多项式时间可计算算法的注记。 Zbl 0696.03032号 威尔弗里德·巴赫霍尔茨;威弗里德·西格 2 1990 以明晰的方式将序数与证明联系起来。 Zbl 1025.03056号 威尔弗里德·巴赫霍尔茨 2 2002 关于Gentzen的第一个算术一致性证明。 Zbl 1378.03044号 威尔弗里德·巴赫霍尔茨 1 2015 经典ID(_\nu)的另一个简化为构造ID(^i_\nu\)。 Zbl 1250.03117号 威尔弗里德·巴赫霍尔茨 1 2010 关于巴赫曼-霍华德序数的序数符号的调查。 Zbl 1429.03206号 威尔弗里德·巴赫霍尔茨 3 2017 关于巴赫曼-霍华德序数的序数符号的调查。 兹比尔1439.03100 威尔弗里德·巴赫霍尔茨 2 2016 关于Gentzen的第一个算术一致性证明。 Zbl 1378.03044号 威尔弗里德·巴赫霍尔茨 1 2015 经典ID(_\nu)的另一个简化为构造ID(^i_\nu\)。 Zbl 1250.03117号 威尔弗里德·巴赫霍尔茨 1 2010 流式数据结构上(共)递归定义的术语演算。 邮编1093.03008 威尔弗里德·巴赫霍尔茨 6 2005 从经典证明中提取的精化程序。 Zbl 0992.03070号 乌尔里希·伯杰;威尔弗里德·巴赫霍尔茨;赫尔穆特·施维滕贝格 15 2002 以明确的方式将序数与证明联系起来。 Zbl 1025.03056号 威尔弗里德·巴赫霍尔茨 2 2002 解释Gentzen-Takeuti约化步骤:二阶系统。 Zbl 1007.03051号 威尔弗里德·巴赫霍尔茨 9 2001 操作员控制衍生的金融处理。 Zbl 0986.03044号 威尔弗里德·巴赫霍尔茨 2 2001 用无穷证明理论解释Gentzen的一致性证明。 Zbl 0887.03043号 威尔弗里德·巴赫霍尔茨 9 1997 直觉不动点理论。 Zbl 0903.03034号 威尔弗里德·巴赫霍尔茨 5 1997 元素分析的Epsilon替代法。 Zbl 0848.03032号 格里戈里薄荷;谢尔盖·图帕伊洛;威尔弗里德·巴赫霍尔茨 17 1996 终止证明的证明理论分析。 Zbl 0844.03031号 威尔弗里德·巴赫霍尔茨 23 1995 基本序列和层次结构的统一方法。 Zbl 0812.03023号 威尔弗里德·巴赫霍尔茨;亚当·西科恩;安德烈亚斯·魏尔曼 31 1994 关于KPM序数分析的注记。 Zbl 0801.03036号 威尔弗里德·巴赫霍尔茨 4 1993 局部谓词的简化版本。 Zbl 0795.03078号 威尔弗里德·巴赫霍尔茨 27 1992 无穷导数的符号系统。 Zbl 0726.03038号 威尔弗里德·巴赫霍尔茨 28 1991 关于多项式时间可计算算法的注记。 Zbl 0696.03032号 威尔弗里德·巴赫霍尔茨;威弗里德·西格 2 1990 非指示子系统分析的证明理论。 Zbl 0653.03039号 威尔弗里德·巴赫霍尔茨;库尔特·舒特 36 1988 诱导性定义与扩张。(归纳定义和扩张器)。 Zbl 0642.03034号 威尔弗里德·巴赫霍尔茨 2 1988 可显著计算的功能和快速增长的层次结构。 兹比尔0635.03056 威尔弗里德·巴赫霍尔茨;斯坦·韦纳 22 1987 \((\Pi^1_ 1-CA)+BI\)的独立结果。 Zbl 0636.03052号 威尔弗里德·巴赫霍尔茨 18 1987 一个新的证明理论序数函数系统。 Zbl 0655.03038号 威尔弗里德·巴赫霍尔茨 34 1986 Ein Ordinalzahlensystem für为理论Abgrenzung der \(\Pi^1_2 \)-分离和Bar-Inducktion。 Zbl 0573.03028号 威尔弗里德·巴赫霍尔茨;库尔特·舒特 12 1984 重复归纳定义和分析子系统:最近的理论研究证明。 Zbl 0489.03022号 威尔弗里德·巴赫霍尔茨;所罗门·费弗曼;沃尔夫拉姆·波勒;威弗里德·西格 142 1981 形式理论对于无限迭代归纳定义的可证明的有序性。 Zbl 0411.03046号 威尔弗里德·巴赫霍尔茨;沃尔夫拉姆·波勒 15 1978 Die Beziehungen zwischen den Ordinalzahlsystemen\(\Sigma\)und\(\Theta(\omega)\)。 Zbl 0339.02027号 威尔弗里德·巴赫霍尔茨;库尔特·舒特 9 1976 U ber Teilsysteme von\(\overline\Theta(\{g\})\)。 Zbl 0366.02017号 威尔弗里德·巴赫霍尔茨 4 1976 Ordinalzahlen正常功能与功能系统。 Zbl 0342.02021号 威尔弗里德·巴赫霍尔茨 24 1975 Ein ausgezeichnetes Modell für die直觉主义类型逻辑。 Zbl 0317.02026号 威尔弗里德·巴赫霍尔茨 3 1975 所有引用出版物 前5名被引用出版物 全部的 前5名被193位作者引用 29 迈克尔·拉特扬 25 安德烈亚斯·魏尔曼 21 贾格尔,格哈德 16 阿莱、东山英彦 11 沃尔夫拉姆·波勒 9 威尔弗里德·巴赫霍尔茨 9 山姆·桑德斯 9 斯坦利·斯科特·韦纳 8 安东·弗伦德 8 米茨,格里戈里ĭEfroimovich 7 库尔特·舒特 7 托马斯·斯特拉姆 6 杰里米·阿维加德 6 乌尔里希·伯杰 6 威弗里德·西格 6 冈纳·威尔肯 4 费德里科·阿西埃里 4 托马斯·格拉斯(Thomas A.Glass)。 4 列夫·戈尔迪夫 4 Mircea-Dan赫内斯特 4 乔治·莫瑟 4 赫尔穆特·施维滕贝格 4 斯蒂芬·辛普森。 4 亨利·托斯纳 4 范德米伦(Jeroen Van der Meeren) 3 克劳斯·埃利格 3 蒂莫西·卡尔森。 3 凯斯,约翰 3 劳拉·克罗西拉 3 恩德鲁利斯,约尔格 3 所罗门·费弗曼 3 大卫·费尔南德斯·杜克 3 莱因哈德·卡勒 3 格雷厄姆·埃米尔·利 3 冈田三弘 3 安东·塞泽尔 3 西尔维娅·斯特拉 3 托马斯·施图德 2 胡安·巴勃罗·阿奎莱拉 2 阿诺德·贝克曼 2 卢卡·贝洛蒂 2 安德烈亚·坎蒂尼 2 洛伦佐·卡卢奇 2 J.R.G.卡特洛。 2 可口、蒂埃里 2 江口、闹喜 2 煎炸,伊曼纽尔 2 肯塔罗州藤本市 2 迪米特里·亨德里克斯 2 桑杰·贾恩 2 扬·威廉·克鲁普 2 乌尔里希·威廉·科伦巴赫 2 亨利克·科特拉斯基 2 库兹涅佐夫(Kuznetsov,Stepan L'vovich) 2 丹尼尔·莱万特(Daniel M.Leivant)。 2 达格·诺曼 2 费多尔·帕霍莫夫。 2 查尔斯·帕森斯。 2 迪特·普罗斯特 2 佐藤,肯塔罗 2 莫尼卡·塞森伯格 2 斯坦尼斯拉夫·斯佩兰斯基。 2 Makoto Tatsuta 2 Trifonov、Trifon A。 2 谢尔盖·图派洛 2 Keita横山 1 阿夫沙里语、巴哈雷语 1 阿米罗申·阿克巴尔·塔巴塔拜 1 Akiyoshi、Ryota 1 安德鲁·阿拉纳 1 谢尔盖·阿特莫夫 1 马丁·阿文齐尼 1 亚历山大·巴尔塔格 1 迈克尔·巴兹基 1 列夫·贝克莱米舍夫。 1 伊夫·贝托特 1 特蕾莎·比戈拉伊斯卡 1 里卡多·布鲁尼 1 沃尔夫冈·伯尔 1 塞缪尔·R·巴斯。 1 梅林·卡尔 1 周蒂莫西·易聪 1 罗伯特·李,警察 1 雅各布·库克 1 特里斯坦·克罗拉德 1 约翰·纽索姆·克罗斯利 1 杰里米·道森。 1 沃尔特·迪恩 1 彼得·迪布杰 1 杰夫·埃里克森 1 M·V·H·费尔特洛。 1 马丁·菲舍尔 1 鲁道夫·弗莱舍 1 哈维·弗里德曼。 1 马尔科·加博阿迪 1 让·H·盖利尔。 1 詹姆·加斯帕 1 拉杰夫·普拉巴卡尔·戈尔 1 克莱门斯,抓斗手 1 马蒂亚斯·格兰贝格·奥尔森 …还有93位作者 全部的 前5名在38篇连载文章中被引用 74 纯逻辑与应用逻辑年鉴 39 数学逻辑档案 38 符号逻辑杂志 18 符号逻辑公报 15 理论计算机科学 12 Archive für Mathematische Logik und Grundlagenforschung公司 7 《数理逻辑季刊》 5 符号逻辑综述 3 Studia Logica公司 3 合成 3 信息与计算 3 计算系统理论 3 计算机科学中的逻辑方法 2 数学进展 2 美国数学学会会刊 2 美国数学学会会刊 2 MSCS公司。计算机科学中的数学结构 2 逻辑与代数程序设计杂志 1 离散数学 1 德国财政部(DMV) 1 数学信使 1 《伦敦数学学会通报》 1 Monatsheft für Mathematik 1 圣母院形式逻辑杂志 1 欧洲组合数学杂志 1 逻辑历史与哲学 1 符号计算杂志 1 自动推理杂志 1 国际计算机科学基础杂志 1 Indagationes Mathematicae公司。新系列 1 工程、通信和计算中的应用代数 1 数学科学杂志(纽约) 1 选择Mathematica。新系列 1 埃尔肯特尼斯 1 泛逻辑 1 哲学指南针 1 数学论坛,西格玛 1 可计算性 全部的 前5名13个领域引用 299 数学逻辑和基础(03-XX) 61 计算机科学(68至XX) 13 组合数学(05-XX) 12 总体主题;集合(00-XX) 12 有序,格,有序代数结构(06-XX) 11 历史和传记(01-XX) 3 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 范畴理论;同调代数(18-XX) 2 一般拓扑结构(54至XX) 1 交换代数(13-XX) 1 实函数(26年X月X日) 1 测量和集成(28-XX) 1 动力系统和遍历理论(37至XX) 按年份列出的引文