编辑配置文件（在新选项卡中打开） 贾格尔，格哈德 合著者距离 作者ID： 杰格·格哈德 发布日期： 贾格尔，格哈德；杰格，格哈德；G.杰格。；Jäger，G。 更多。。。较少的 主页： https://www.inf.unibe.ch/ueber_uns/personen/emeriti/prof_em_dr_jaeger_gerhard/in。。。 外部链接： MGP公司 已编制索引的文档： 81出版物自1979年以来，包括2本书和1个附加arXiv预打印 8作为编辑的贡献 传记参考文献： 1出版物 合著者： 29位合著者具有43联合出版物 319合著者 全部的 前5名合著者 39 单作者的 11 托马斯·斯特拉姆 5 所罗门·费弗曼 5 托马斯·施图德 4 迪特·普罗斯特 三 莱因哈德·卡勒 三 西尔维娅·斯特拉 2 伊贡博格尔 2 汉斯·克莱恩·勃宁 2 马蒂斯·克雷茨 2 米歇尔·马蒂 2 沃尔夫拉姆·波勒 2 迈克尔·里希特（Michael M.Richter）。 2 Robert F.Stärk。 2 利科·赞布伦 1 阿夫沙里语、巴哈雷语 1 卢卡·阿尔贝鲁奇 1 谢尔盖·阿特莫夫 1 迈克尔·巴兹基 1 乔治·S·布洛斯。 1 瓦斯科·布拉特卡 1 乌尔里克·巴赫霍尔茨 1 欧文·恩格勒 1 T.V.戈帕尔。 1 布丽姬·霍斯利 1 佐藤·肯塔罗 1 Krähenbühl，于尔格 1 汉斯·佩特·A·Künzi。 1 汉斯·Läuchli 1 格雷厄姆·埃米尔·利 1 西蒙·马提尼 1 芭芭拉·普里莫 1 迈克尔·拉特扬 1 蒂莫泰·罗斯布罗克 1 布鲁诺·斯卡佩里尼 1 库尔特·舒特 1 安东·塞泽尔 1 齐格，威尔弗里德 1 安永会计师事务所（Ernst P.Specker）。 1 沃尔克·斯特拉森 1 阿尔伯特·维瑟 1 斯坦利·斯科特·韦纳 全部的 前5名系列 15 纯逻辑与应用逻辑年鉴 12 符号逻辑杂志 5 数学逻辑档案 4 Archive für Mathematische Logik und Grundlagenforschung公司 三 计算机科学课堂讲稿 2 Bayerische Akademie der Wissenschaften公司。Mathematisch-Naturwissenschaftliche Klasse。Sitzungsberichte公司 2 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 2 逻辑程序设计杂志 2 符号逻辑公报 2 逻辑与代数程序设计杂志 2 应用逻辑杂志 2 伊朗模糊系统杂志 1 圣母院形式逻辑杂志 1 数学逻辑季刊（MLQ） 1 证明理论研究。课堂讲稿 1 泛逻辑 1 对逻辑的杰出贡献 全部的 前5名领域 80 数理逻辑与基础（03-XX） 15 计算机科学（68至XX） 7 总体主题；集合（00-XX） 三 一般拓扑结构（54至XX） 2 历史和传记（01-XX） 1 组合数学（05-XX） 1 数论（11-XX） 1 场论和多项式（12-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 71出版物有被引用545中的次223文件 引用人▼ 年份▼ 容许集理论。证明理论的统一方法。 Zbl 0638.03052号 贾格尔，格哈德 50 1986 费费曼理论（T_0）的有序证明。 Zbl 0511.03025号 贾格尔，格哈德 28 1983 Eine Beweistheoretische Untersuchung von（（Delta^1_2-Ca）+（BI））和verwanter Systeme。 Zbl 0526.03035号 贾格尔，格哈德；沃尔夫拉姆·波勒 27 1983 超限迭代不动点理论的证明理论分析。 Zbl 0937.03065号 贾格尔，格哈德；莱因哈德·卡勒；安东·塞泽尔；托马斯·斯特拉姆 23 1999 Zur Beweistheorie der Kripke-Platek-Mengenlehreüber den natuerlichen Zahlen。 Zbl 0503.03014号 贾格尔，格哈德 23 1982 具有非构造（mu）-运算符的显式数学系统。一、。 Zbl 0794.03074号 所罗门·费弗曼；贾格尔，格哈德 20 1993 显式数学和可容许集理论中元预测Mahlo的上界。 Zbl 1011.03046号 贾格尔，格哈德；托马斯·斯特拉姆 18 2001 具有非构造（mu）-运算符的显式数学系统。二、。 Zbl 0868.03026号 所罗门·费弗曼；贾格尔，格哈德 17 1996 关于常识逻辑的截消。 Zbl 1067.03062号 卢卡·阿尔贝鲁奇；贾格尔，格哈德 17 2005 Beweistheorie von KPN公司。 Zbl 0439.03043号 贾格尔，格哈德 16 1980 使用序数的皮诺算术中的不动点。 Zbl 0776.03027号 贾格尔，格哈德 14 1993 无需刻板的常识。 Zbl 1144.03009号 贾格尔，格哈德；马蒂斯·克雷茨；托马斯·施图德 13 2007 \（\rho\）-无法访问的序数、折叠函数和递归符号系统。 Zbl 0545.03031号 贾格尔，格哈德 13 1984 扩展显式数学系统T_（_0）：极限和Mahlo公理。 兹伯利1002.03052 贾格尔，格哈德；托马斯·施图德 13 2002 条形感应和（ω）模型反射。 兹伯利0930.03087 贾格尔，格哈德；托马斯·斯特拉姆 12 1999 论费费曼的运算集理论作业系统测试. Zbl 1136.03038号 贾格尔，格哈德 12 2007 应用理论的总体性。 Zbl 0832.03027号 贾格尔，格哈德；托马斯·斯特拉姆 11 1995 无根据可受理性的力量。 Zbl 0585.03032号 贾格尔，格哈德 10 1984 具有无界存在量化和幂集的全运算集理论。 Zbl 1175.03037号 贾格尔，格哈德 10 2009 元谓词和显式Mahlo：一个证明理论的视角。 Zbl 1095.03061号 贾格尔，格哈德 9 2005 选择a。编辑：Gerhard Jäger、Hans Läuchli、Bruno Scarpellini和Volker Strassen。 Zbl 0699.01038号 恩斯特·斯派克 9 1990 显式数学中的宇宙。 Zbl 0980.03061号 贾格尔，格哈德；莱因哈德·卡勒；托马斯·施图德 9 2001 \集合与类理论中的（Sigma^1_1）选择。 Zbl 1244.03165号 贾格尔，格哈德；于尔格Krähenbühl 8 2010 序数强度正归纳的一些理论（\varphi\omega 0\）。 Zbl 0862.03031号 贾格尔，格哈德；托马斯·斯特拉姆 8 1996 证明理论中的迭代可容许性。 Zbl 0503.03028号 贾格尔，格哈德 8 1982 Hilfsmittel zur beweistheetischen Untersuchung von Teilsystemen der Mengenlehre und Analysis的知识结构。 Zbl 0449.03057号 贾格尔，格哈德 8 1979 无穷大\（\mu\）的规范完备性。 Zbl 1156.68013号 贾格尔，格哈德；马蒂斯·克雷茨；托马斯·施图德 7 2008 带有序数和基本理解的二阶理论。 Zbl 0846.03028号 贾格尔，格哈德；托马斯·斯特拉姆 7 1995 显式数学中的幂型？ Zbl 0893.03022号 贾格尔，格哈德 7 1997 类型和名称基本理论中的归纳法。 Zbl 0693.03039号 贾格尔，格哈德 7 1988 应用理论。 兹比尔0951.03054 贾格尔，格哈德；莱因哈德·卡勒；托马斯·斯特拉姆 7 1999 选择原则、条形规则和分析中的自主迭代理解方案。 Zbl 0525.03038号 费弗曼，S。；G.杰格。 7 1983 应用理论中对Suslin算子的证明理论分析。 Zbl 1015.03058号 贾格尔，格哈德；托马斯·斯特拉姆 7 2002 关于否定的一些对称性。 Zbl 0811.03006号 布丽姬·霍斯利；贾格尔，格哈德 6 1994 不动点理论和相依选择。 Zbl 0956.03051号 贾格尔，格哈德；托马斯·斯特拉姆 6 2000 对显性数学反思的思考。 Zbl 1094.03048号 贾格尔，格哈德；托马斯·斯特拉姆 6 2005 操作、集合和类。 兹比尔1419.03049 贾格尔，格哈德 5 2009 基金会上的费费曼。逻辑、数学、哲学。 Zbl 1394.03005号 5 2017 显式数学和运算集理论：一些本体论比较。 Zbl 1345.03112号 贾格尔，格哈德；利科·赞布伦 5 2014 非单调归纳定义的一阶理论：递归不可及和Mahlo。 Zbl 0989.03064号 贾格尔，格哈德 5 2001 操作关闭和稳定性。 Zbl 1315.03090号 贾格尔，格哈德 5 2013 关于操作规则性的强度。 Zbl 1318.03054号 贾格尔，格哈德；利科·赞布伦 5 2012 模态不动点逻辑的Buchholz规则。 Zbl 1278.03044号 贾格尔，格哈德；托马斯·施图德 4 2011 关于Kripke-Platek环境中的一些不动点公理和相关原理。 Zbl 1469.03139号 贾格尔，格哈德；西尔维娅·斯特拉 4 2018 逻辑编程的证明理论框架。 Zbl 0916.03036号 贾格尔，格哈德；Robert F.Stärk。 4 1998 \（\top\）-一致收敛空间。 Zbl 1505.54012号 Jäger，G。；Yu，Y.岳。 4 2022 分层和分层逻辑程序的定义能力。 Zbl 0787.68018号 贾格尔，格哈德；Robert F.Stärk。 三 1993 直觉分布式知识的规范化模型构建。 Zbl 1400.03031号 贾格尔，格哈德；米歇尔·马蒂 三 2016 关于弱不动点理论的证明理论序数。 Zbl 0766.03033号 贾格尔，格哈德；芭芭拉·普里莫 三 1992 应用理论中的Suslin算子：通过序数理论进行的证明理论分析。 Zbl 1253.03088号 贾格尔，格哈德；迪特·普罗斯特 三 2011 直觉主义的常识或信仰。 Zbl 1436.03111号 贾格尔，格哈德；米歇尔·马蒂 三 2016 通过公理化扩展的非单调推理。 Zbl 0681.03012号 贾格尔，格哈德 三 1989 关于舒特主题的变奏曲。 Zbl 1049.03039号 贾格尔，格哈德；迪特·普罗斯特 三 2005 证明理论强度理论。 兹比尔1433.03137 乌尔里克·巴赫霍尔茨；贾格尔，格哈德；托马斯·斯特拉姆 三 2016 计算机科学逻辑。1992年9月28日至10月2日，意大利圣米尼亚托CSL’92第六次研讨会。精选论文。 Zbl 0852.00039号 2 1993 相对论运算集理论。 Zbl 1432.03127号 贾格尔，格哈德 2 2016 Kripke-Platek集合理论的一个版本，它比Peano算法保守。 Zbl 0539.03032号 贾格尔，格哈德 2 1984 一阶算术上的内涵不动点理论。 Zbl 1048.03047号 贾格尔，格哈德 2 2004 应用理论中的截断和半可判定性概念。 Zbl 1475.03074号 贾格尔，格哈德；蒂莫泰·罗斯布罗克；佐藤·肯塔罗 2 2018 计算机科学逻辑。1991年10月7日至11日，瑞士伯尔尼CSL’91第五次研讨会。诉讼程序。 Zbl 0772.68004号 1 1992 无基础的容许集理论中的迭代（Sigma）运算：元预测Mahlo的另一个方面。 Zbl 1069.03049号 贾格尔，格哈德；迪特·普罗斯特 1 2004 分层归纳定义理论的证明理论分析。 Zbl 1380.03071号 贾格尔，格哈德；迪特·普罗斯特 1 2015 可计数的序数和扩张器。 Zbl 0584.03033号 贾格尔，格哈德 1 1986 计算模型的理论和应用。2017年4月20日至22日在瑞士伯尔尼举行的2017年TAMC第14届年会。诉讼程序。 Zbl 1360.68012号 1 2017 对集合理论的一些证明理论贡献。 Zbl 0656.03040号 贾格尔，格哈德 1 1987 类型理论和显式数学。 Zbl 0686.03034号 贾格尔，格哈德 1 1989 简短说明：最小不动点与最小闭合点。 Zbl 1484.03124号 贾格尔，格哈德 1 2021 Kripke-Platek集理论的简化截消。 Zbl 07632448号 贾格尔，格哈德 1 2022 一致极限空间中的对角线条件和一致连续扩张。 Zbl 1522.54012号 G·贾格尔。 1 2022 完整微积分的无限处理。 Zbl 1530.03071号 阿夫沙里语、巴哈雷语；贾格尔，格哈德；格雷厄姆·李（Graham E.Leigh）。 1 2019 从数学的普遍性到不动点和相关的集合理论概念。 Zbl 1469.03140号 贾格尔，格哈德；西尔维娅·斯特拉 1 2019 \（\top\）-一致收敛空间。 Zbl 1505.54012号 Jäger，G。；Yu，Y.岳。 4 2022 Kripke-Platek集理论的简化截消。 Zbl 07632448号 贾格尔，格哈德 1 2022 一致极限空间中的对角线条件和一致连续扩张。 Zbl 1522.54012号 贾格尔，G。 1 2022 简短说明：最小不动点与最小闭合点。 Zbl 1484.03124号 贾格尔，格哈德 1 2021 完整微积分的无限处理。 Zbl 1530.03071号 阿夫沙里语、巴哈雷语；贾格尔，格哈德；格雷厄姆·E·利。 1 2019 从数学的普遍性到不动点和相关的集合理论概念。 Zbl 1469.03140号 贾格尔，格哈德；西尔维娅·斯特拉 1 2019 关于Kripke-Platek环境中的一些不动点公理和相关原理。 Zbl 1469.03139号 贾格尔，格哈德；西尔维娅·斯特拉 4 2018 应用理论中的截断和半可判定性概念。 Zbl 1475.03074号 贾格尔，格哈德；蒂莫泰·罗斯布罗克；佐藤·肯塔罗 2 2018 基金会上的费费曼。逻辑、数学、哲学。 兹比尔1394.03005 5 2017 计算模型的理论和应用。2017年4月20日至22日在瑞士伯尔尼举行的2017年TAMC第14届年会。诉讼程序。 Zbl 1360.68012号 1 2017 直觉分布式知识的规范化模型构建。 Zbl 1400.03031号 贾格尔，格哈德；米歇尔·马蒂 三 2016 直觉主义的常识或信仰。 Zbl 1436.03111号 贾格尔，格哈德；米歇尔·马蒂 三 2016 证明理论强度理论。 Zbl 1433.03137号 乌尔里克·巴赫霍尔茨；贾格尔，格哈德；托马斯·斯特拉姆 三 2016 相对论运算集理论。 Zbl 1432.03127号 贾格尔，格哈德 2 2016 分层归纳定义理论的证明理论分析。 Zbl 1380.03071号 贾格尔，格哈德；迪特·普罗斯特 1 2015 显式数学和运算集理论：一些本体论比较。 Zbl 1345.03112号 贾格尔，格哈德；利科·赞布伦 5 2014 操作关闭和稳定性。 Zbl 1315.03090号 贾格尔，格哈德 5 2013 关于操作规则性的强度。 Zbl 1318.03054号 贾格尔，格哈德；利科·赞布伦 5 2012 模态不动点逻辑的Buchholz规则。 Zbl 1278.03044号 贾格尔，格哈德；托马斯·施图德 4 2011 应用理论中的Suslin算子：通过序数理论进行的证明理论分析。 Zbl 1253.03088号 贾格尔，格哈德；迪特·普罗斯特 三 2011 \集合与类理论中的（Sigma^1_1）选择。 Zbl 1244.03165号 贾格尔，格哈德；于尔格Krähenbühl 8 2010 具有无界存在量化和幂集的全运算集理论。 Zbl 1175.03037号 贾格尔，格哈德 10 2009 操作、集合和类。 Zbl 1419.03049号 贾格尔，格哈德 5 2009 无穷大\（\mu\）的规范完备性。 Zbl 1156.68013号 贾格尔，格哈德；马蒂斯·克雷茨；托马斯·施图德 7 2008 无需刻板的常识。 Zbl 1144.03009号 贾格尔，格哈德；马蒂斯·克雷茨；托马斯·施图德 13 2007 论费费曼的运算集理论作业系统测试. Zbl 1136.03038号 贾格尔，格哈德 12 2007 关于常识逻辑的截消。 兹比尔1067.03062 卢卡·阿尔贝鲁奇；贾格尔，格哈德 17 2005 元谓词和显式Mahlo：一个证明理论的视角。 Zbl 1095.03061号 贾格尔，格哈德 9 2005 对显性数学反思的思考。 兹比尔1094.03048 贾格尔，格哈德；托马斯·斯特拉姆 6 2005 关于舒特主题的变奏曲。 Zbl 1049.03039号 贾格尔，格哈德；迪特·普罗斯特 三 2005 一阶算术上的内涵不动点理论。 Zbl 1048.03047号 贾格尔，格哈德 2 2004 无基础可容许集合论中的迭代\（\西格玛\）运算：元预测Mahlo的另一个方面。 Zbl 1069.03049号 贾格尔，格哈德；迪特·普罗斯特 1 2004 扩展显式数学系统T_（_0）：极限和Mahlo公理。 兹伯利1002.03052 贾格尔，格哈德；托马斯·施图德 13 2002 应用理论中Suslin算子的证明理论分析。 Zbl 1015.03058号 贾格尔，格哈德；托马斯·斯特拉姆 7 2002 显式数学和可容许集理论中元预测Mahlo的上界。 Zbl 1011.03046号 贾格尔，格哈德；托马斯·斯特拉姆 18 2001 显式数学中的宇宙。 Zbl 0980.03061号 贾格尔，格哈德；莱因哈德·卡勒；托马斯·施图德 9 2001 非单调归纳定义的一阶理论：递归不可及和Mahlo。 Zbl 0989.03064号 贾格尔，格哈德 5 2001 不动点理论和依赖选择。 Zbl 0956.03051号 贾格尔，格哈德；托马斯·斯特拉姆 6 2000 超限迭代不动点理论的证明理论分析。 Zbl 0937.03065号 贾格尔，格哈德；莱因哈德·卡勒；安东·塞泽尔；托马斯·斯特拉姆 23 1999 条形感应和（ω）模型反射。 Zbl 0930.03087号 贾格尔，格哈德；托马斯·斯特拉姆 12 1999 应用理论。 兹比尔0951.03054 贾格尔，格哈德；莱因哈德·卡勒；托马斯·斯特拉姆 7 1999 逻辑编程的证明理论框架。 Zbl 0916.03036号 贾格尔，格哈德；Robert F.Stärk。 4 1998 显式数学中的幂型？ Zbl 0893.03022号 贾格尔，格哈德 7 1997 具有非构造（mu）-运算符的显式数学系统。二、。 Zbl 0868.03026号 所罗门·费弗曼；贾格尔，格哈德 17 1996 序数强度正归纳的一些理论（\varphi\omega 0\）。 Zbl 0862.03031号 贾格尔，格哈德；托马斯·斯特拉姆 8 1996 应用理论的总体性。 Zbl 0832.03027号 贾格尔，格哈德；托马斯·斯特拉姆 11 1995 带有序数和基本理解的二阶理论。 Zbl 0846.03028号 贾格尔，格哈德；托马斯·斯特拉姆 7 1995 关于否定的一些对称性。 Zbl 0811.03006号 布丽姬·霍斯利；贾格尔，格哈德 6 1994 具有非构造性\（\mu\）-算子的显式数学系统。一、。 Zbl 0794.03074号 所罗门·费弗曼；贾格尔，格哈德 20 1993 带序数的Peano算术中的不动点。 Zbl 0776.03027号 贾格尔，格哈德 14 1993 分层和分层逻辑程序的定义能力。 兹比尔0787.68018 贾格尔，格哈德；Robert F.Stärk。 三 1993 计算机科学逻辑。1992年9月28日至10月2日，意大利圣米尼亚托CSL’92第六次研讨会。精选论文。 Zbl 0852.00039号 2 1993 关于弱不动点理论的证明理论序数。 Zbl 0766.03033号 贾格尔，格哈德；芭芭拉·普里莫 三 1992 计算机科学逻辑。1991年10月7日至11日，瑞士伯尔尼CSL’91第五次研讨会。诉讼程序。 兹比尔0772.68004 1 1992 选择a。编辑：Gerhard Jäger、Hans Läuchli、Bruno Scarpellini和Volker Strassen。 Zbl 0699.01038号 恩斯特·斯派克 9 1990 公理扩展的非单调推理。 Zbl 0681.03012号 贾格尔，格哈德 三 1989 类型理论和显式数学。 Zbl 0686.03034号 贾格尔，格哈德 1 1989 类型和名称基本理论中的归纳法。 Zbl 0693.03039号 贾格尔，格哈德 7 1988 对集合理论的一些证明理论贡献。 Zbl 0656.03040号 贾格尔，格哈德 1 1987 容许集理论。证明理论的统一方法。 Zbl 0638.03052号 贾格尔，格哈德 50 1986 可计数的序数和扩张器。 Zbl 0584.03033号 贾格尔，格哈德 1 1986 \（\rho\）-无法访问的序数、折叠函数和递归符号系统。 Zbl 0545.03031号 贾格尔，格哈德 13 1984 无根据的可接受性的强度。 Zbl 0585.03032号 贾格尔，格哈德 10 1984 Kripke-Platek集合理论的一个版本，它比Peano算法保守。 Zbl 0539.03032号 贾格尔，格哈德 2 1984 费费曼理论（T_0）的有序证明。 Zbl 0511.03025号 贾格尔，格哈德 28 1983 Eine Beweistheoretische Untersuchung von（（Delta^1_2-Ca）+（BI））和verwanter Systeme。 Zbl 0526.03035号 贾格尔，格哈德；Wolfram波勒 27 1983 选择原则、条形规则和分析中的自主迭代理解方案。 Zbl 0525.03038号 费弗曼，S。；G.杰格。 7 1983 Zur Beweistheorie der Kripke-Platek-Mengenlehreüber den natuerlichen Zahlen。 兹比尔0503.03014 贾格尔，格哈德 23 1982 证明理论中的迭代可容许性。 Zbl 0503.03028号 贾格尔，格哈德 8 1982 Beweistheorie von KPN公司。 Zbl 0439.03043号 贾格尔，格哈德 16 1980 在Mengenlehre和Analysis的Teilsystemen Untersuchung理论中，Hilfsmittel的结构层次是可构建的。 Zbl 0449.03057号 贾格尔，格哈德 8 1979 所有引用的出版物 前5名被引用出版物 全部的 前5名125位作者引用 30 贾格尔，格哈德 25 迈克尔·拉特扬 17 托马斯·斯特拉姆 17 托马斯·施图德 9 安德烈亚·坎蒂尼 8 沃尔夫拉姆·波勒 8 佐藤，肯塔罗 6 阿莱、东山英彦 6 所罗门·费弗曼 5 安东·弗伦德 5 肯塔罗州藤本市 5 莱因哈德·卡勒 4 杰里米·阿维加德 4 凯·布伦勒 4 托马斯·格拉斯（Thomas A.Glass）。 4 迪特·普罗斯特 4 库尔特·舒特 三 威尔弗里德·巴赫霍尔茨 三 劳拉·克罗西拉 三 佐藤·肯塔罗 三 马蒂斯·克雷茨 三 格雷厄姆·埃米尔·利 三 Robert F.Stärk。 三 亨利·托斯纳 三 安德烈亚斯·魏尔曼 2 彼得罗·阿巴特 2 阿夫沙里语、巴哈雷语 2 伊万杰利亚·安东尼亚科斯 2 塞缪尔·布切利 2 Samuel R.巴斯。 2 蒂莫西·卡尔森。 2 布鲁诺·达雷 2 法语、罗汉语 2 列夫·戈迪夫 2 拉杰夫·普拉巴卡尔·戈尔 2 罗莎莉，伊姆霍夫 2 乌尔里希·威廉·科伦巴赫 2 罗马库兹涅茨 2 米歇尔·马蒂 2 费多尔·帕霍莫夫。 2 弗洛里安·兰齐 2 克里斯蒂安·吕埃德 2 胜彦三野 2 安德烈亚斯·施吕特 2 齐格，威尔弗里德 2 西尔维娅·斯特拉 2 苏佑安 2 达米安·恩里克·斯穆克 2 Paula Teijeiro 2 谢尔盖·图帕伊洛 2 维尼马，伊德 2 弗洛里安·维德曼 2 冈纳·威尔肯 2 利科·赞布伦 1 卢卡·阿尔贝鲁奇 1 谢尔盖·阿特莫夫 1 阿诺·阿夫隆 1 埃里克·巴伦德森 1 迈克尔·巴兹基 1 马克·贝泽姆 1 里卡多·布鲁尼 1 亚历山大·伊戈列维奇 1 梅林·卡尔 1 科恩、利隆 1 雅各布·库克 1 约翰·纽索姆·克罗斯利 1 吉姆·德·格罗特 1 欧文·恩格勒 1 塞巴斯蒂安·恩奎斯特 1 弗鲁米尼、丹多洛 1 保罗·K·戈博。 1 爱德华·R·格里弗。 1 沃尔克·哈尔巴赫 1 汤姆·汉尼卡 1 布莱恩·希尔 1 杰弗里·林恩·赫斯特 1 威尔弗里德·霍奇斯 1 胡太伟 1 马莫鲁·卡内科 1 亨利·考茨。 1 简·伊丽莎白·基斯特 1 马丁·兰格 1 皮埃尔·莱斯坎 1 邱恩·荣·廖 1 林伯特兰一鹏 1 克劳斯·美因泽 1 埃里克·马丁。 1 格里戈里·埃弗罗伊莫维奇造币厂 1 卡尔·穆默特 1 Ryo Murai 1 萨拉·内格里 1 内莫托、高子 1 加布里埃尔·尼瓦什 1 Orponen、Tuomas 1 乌尔德·梅德塞勒姆，梅德亚亚 1 费德里科·马蒂亚斯 1 彼得·帕平豪斯 1 查尔斯·帕森斯。 1 德克·帕丁森 1 乔恩·皮尔斯 …还有25位作者 全部的 前5名31篇连载文章中引用 56 纯逻辑与应用逻辑年鉴 27 数学逻辑档案 25 符号逻辑杂志 8 数学逻辑季刊（MLQ） 7 符号逻辑公报 6 Studia Logica公司 5 Archive für Mathematische Logik und Grundlagenforschung公司 4 哲学逻辑杂志 4 符号逻辑述评 三 合成 三 信息与计算 三 数理逻辑杂志 三 逻辑与代数程序设计杂志 三 应用逻辑杂志 2 人工智能 2 圣母院形式逻辑杂志 2 理论计算机科学 2 应用非经典逻辑杂志 2 选择Mathematica。新系列 2 数学与人工智能年鉴 2 Oberwolfach报告 1 信息处理信件 1 数学进展 1 杜克数学杂志 1 Monatsheft für Mathematik 1 美国数学学会会刊 1 美国数学学会会刊 1 逻辑程序设计理论与实践 1 泛逻辑 1 计算机科学中的逻辑方法 1 可计算性 全部的 前5名在9个字段中引用 212 数理逻辑与基础（03-XX） 29 计算机科学（68至XX） 4 总体主题；集合（00-XX） 4 历史和传记（01-XX） 4 阶、格、有序代数结构（06-XX） 2 组合数学（05-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 测量和集成（28-XX） 1 代数拓扑（55-XX） 按年份列出的引文