编辑配置文件(在新选项卡中打开) 本诺·范登伯格 合著者距离 作者ID: van-den-berg.benno公司 发布日期: 本诺·范登伯格 主页: https://staff.fnwi.uva.nl/b.vandenberg3网站/ 外部链接: MGP公司·ORCID公司·谷歌学者·数据库许可证·接地 编入索引的文档: 46出版物自2005年以来,包括1本书和9附加arXiv预打印 1进一步贡献 合著者: 19位合著者具有33联合出版物 238位合作作者 全部的 前5名合著者 14 单作者的 11 Moerdijk,比如 4 克里斯·希恩 三 理查德·加纳 2 彼得·阿策尔 2 布里塞德,伊文德·马托尔 2 费德里科·德·马奇 2 萨法利克、帕沃 1 阿伦斯,贝内迪克特 1 托尔斯滕·阿滕柯奇 1 卡洛·安吉利 1 杰里米·阿维加德 1 史蒂夫·阿沃迪 1 巴拉斯,布鲁诺 1 安德烈·鲍尔 1 伊夫·贝托特 1 马克·贝泽姆 1 安东尼·博尔吉 1 马库斯·布里特 1 纪尧姆·布鲁内里 1 西里尔·科恩 1 罗伯特·李,警察 1 可口、蒂埃里 1 皮埃尔·卢伊斯·居里 1 彼得·戴比杰 1 埃里克·恩斯特·费伯 1 丹尼尔·菲格罗亚(Daniel G.Figueroa)。 1 埃里克·芬斯特 1 丹·弗鲁明 1 尼古拉·甘比诺 1 弗里克·戈尔里格斯 1 乔治·戈蒂尔 1 约翰·乔治·格兰斯特罗姆 1 丹尼尔·理查德·格雷森 1 阿马尔·哈齐哈萨诺维奇 1 托马斯·卡利斯特·黑尔斯 1 罗伯特·哈珀 1 雨果·赫贝林 1 马丁·霍夫曼 1 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。 1 Hötzel Escardó,马丁 1 Hou(Favonia)、Kuen-Bang 1 安德烈·乔亚尔 1 Krzysztof卡普尔金 1 约阿希姆·科克 1 尼古拉·克劳斯 1 李诺 1 丹·利卡塔 1 彼得·勒法努,朗斯丹 1 罗朝晖 1 阿西娅·马赫布比 1 马丁·洛夫(Martin-Löf,Per) 1 谢尔盖·阿列克桑德罗维奇·梅利霍夫 1 迈克尔·纳哈斯 1 达尼·奥滕 1 埃里克·帕尔姆格伦 1 罗伯特·帕曼 1 阿尔瓦罗·佩莱奥 1 安德鲁·波伦斯基 1 艾米丽·里尔 1 埃格伯特,里克 1 山姆·桑德斯 1 彼得·迈克尔·舒斯特 1 达娜·斯图尔特·斯科特 1 菲利普·斯科特。 1 Michael A.舒尔曼。 1 克里斯蒂娜·索贾科娃 1 索洛夫·弗拉基米洛维奇 1 索索、马蒂厄 1 溅出物,Bas 1 1 洛特·范·斯洛滕 1 弗拉基米尔·阿列克桑德罗维奇(Vladimir Aleksandrovich) 1 沃伦、迈克尔·奥尔顿 1 诺姆·齐尔伯格 全部的 前5名系列 7 纯逻辑与应用逻辑年鉴 4 MSCS公司。计算机科学中的数学结构 三 数学逻辑档案 2 伦敦数学学会会刊。第三系列 2 应用的分类结构 2 范畴的理论与应用 2 ACM计算逻辑事务 1 剑桥哲学学会数学进展杂志 1 纯粹与应用代数杂志 1 符号逻辑杂志 1 数学年刊 1 圣母院形式逻辑杂志 1 Studia Logica公司 1 理论计算机科学 1 Indagationes Mathematicae公司。新系列 1 数学逻辑季刊(MLQ) 1 数学逻辑杂志 1 尼乌档案馆(Nieuw Archief voor Wiskunde)。Vijfde系列 1 数学课堂笔记 1 计算机科学中的逻辑方法 全部的 前5名领域 37 数理逻辑与基础(03-XX) 33 范畴理论;同调代数(18-XX) 10 代数拓扑(55-XX) 4 功能分析(46倍X倍) 三 计算机科学(68至XX) 2 阶、格、有序代数结构(06-XX) 2 实际功能(26年X月X日) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 数论(11-XX) 1 结合环与代数(16-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 30出版物被引用212中的次155文件 引用人▼ 年份▼ 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 类型是弱\(\omega\)-群oid。 Zbl 1229.18007号 本诺·范登伯格;理查德·加纳 31 2011 对非标准算术的函数解释。 Zbl 1270.03121号 本诺·范登伯格;伊文德·布里塞德;萨法利克、帕沃 29 2012 身份类型的拓扑和简单模型。 Zbl 1352.03012号 本诺·范登伯格;理查德·加纳 24 2012 作为一个集合的非交换性。 Zbl 1261.46051号 本诺·范登伯格;克里斯·希恩 12 2012 谓词代数集合论的几个方面。一: 准确完成。 兹比尔1165.03045 本诺·范登伯格;Moerdijk,比如 11 2008 谓词代数集合论的几个方面。二: 可实现性。 Zbl 1215.03063号 本诺·范登伯格;Moerdijk,比如 10 2011 归纳类型和准确完成。 Zbl 1064.03041号 本诺·范登伯格 8 2005 多元选择公理和构造集理论模型。 Zbl 1337.03079号 范登伯格,本诺;Moerdijk,比如 8 2014 分类中的无足树。 Zbl 1166.03042号 本诺·范登伯格;费德里科·德·马奇 7 2007 路径范畴和代数集理论的精确完备性。一: 路径类别的精确完成。 Zbl 1420.18034号 本诺·范登伯格;Moerdijk,比如 6 2018 通过索引最终余代数定理建立非良基集模型。 Zbl 1124.03049号 范登伯格,本诺;费德里科·德·马奇 6 2007 同伦型理论中的W型。 Zbl 1362.03009号 本诺·范登伯格;Moerdijk,比如 6 2015 逆向数学和无参数传输。 Zbl 06994737号 本诺·范登伯格;山姆·桑德斯 5 2019 谓词代数集合论的几个方面。三: 滑轮。 Zbl 1253.03079号 本诺·范登伯格;Moerdijk,比如 5 2012 赫布兰德地形。 Zbl 1296.03041号 本诺·范登伯格 4 2013 代数集合论的统一方法。 Zbl 1228.03046号 本诺·范登伯格;Moerdijk,比如 4 2009 路径类别和命题身份类型。 Zbl 1407.03005号 本诺·范登伯格 4 2018 有效拓扑中函数可拓性的一个同构理论模型。 Zbl 1422.18005号 丹·弗鲁明;本诺·范登伯格 4 2019 谓词集理论的导出规则:滑轮的应用。 Zbl 1432.03128号 范登伯格,本诺;Moerdijk,比如 4 2012 非确定性归纳定义。 Zbl 1403.03111号 本诺·范登伯格 4 2013 非标准函数解释和分类模型。 Zbl 1431.03081号 阿马尔·哈齐哈萨诺维奇;本诺·范登伯格 4 2017 算术守恒结果。 Zbl 1437.03170号 本诺·范登伯格;van Slooten,乐天 三 2018 将障碍扩展到非对易函数谱。 Zbl 1308.46078号 本诺·范登伯格;克里斯·希恩 三 2014 有足够的内射集吗? Zbl 1319.03053号 彼得·阿策尔;本诺·范登伯格;约翰·格兰斯特罗姆;彼得·舒斯特 2 2013 单价完成。 Zbl 1400.55007号 本诺·范登伯格;Moerdijk,比如 2 2018 单价多态性。 Zbl 1440.18048号 本诺·范登伯格 2 2020 非交换环的函数局部谱的No-go定理。 Zbl 1475.46067号 本诺·范登伯格;克里斯·希恩 2 2012 单形集合中的有效Kan fibrations。 Zbl 1507.18001号 本诺·范登伯格;埃里克·费伯 1 2022 可数饱和度的强度。 Zbl 1417.03291号 本诺·范登伯格;埃文德·布里塞德;萨法利克、帕沃 1 2017 单形集合中的有效Kan fibrations。 Zbl 1507.18001号 本诺·范登伯格;埃里克·费伯 1 2022 单价多态性。 Zbl 1440.18048号 本诺·范登伯格 2 2020 逆向数学和无参数传输。 Zbl 06994737号 本诺·范登伯格;山姆·桑德斯 5 2019 有效拓扑中函数可拓性的一个同构理论模型。 Zbl 1422.18005号 丹·弗鲁明;范登伯格,本诺 4 2019 路径范畴和代数集理论的精确完备性。一: 路径类别的精确完成。 Zbl 1420.18034号 本诺·范登伯格;Moerdijk,比如 6 2018 路径类别和命题身份类型。 Zbl 1407.03005号 本诺·范登伯格 4 2018 算术守恒结果。 Zbl 1437.03170号 本诺·范登伯格;洛特·范·斯洛滕 三 2018 单价完成。 Zbl 1400.55007号 本诺·范登伯格;Moerdijk,比如 2 2018 非标准函数解释和分类模型。 Zbl 1431.03081号 阿马尔·哈齐哈萨诺维奇;本诺·范登伯格 4 2017 可数饱和度的强度。 Zbl 1417.03291号 本诺·范登伯格;伊文德·布里塞德;萨法利克、帕沃 1 2017 同伦型理论中的W型。 Zbl 1362.03009号 本诺·范登伯格;Moerdijk,比如 6 2015 多元选择公理和构造集理论模型。 Zbl 1337.03079号 本诺·范登伯格;Moerdijk,比如 8 2014 将障碍扩展到非对易函数谱。 Zbl 1308.46078号 本诺·范登伯格;克里斯·希恩 三 2014 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 赫布兰德地形。 Zbl 1296.03041号 本诺·范登伯格 4 2013 非确定性归纳定义。 Zbl 1403.03111号 本诺·范登伯格 4 2013 有足够的内射集吗? Zbl 1319.03053号 彼得·阿策尔;本诺·范登伯格;约翰·格兰斯特罗姆;彼得·舒斯特 2 2013 对非标准算术的函数解释。 Zbl 1270.03121号 本诺·范登伯格;伊文德·布里塞德;萨法利克、帕沃 29 2012 身份类型的拓扑和简单模型。 Zbl 1352.03012号 本诺·范登伯格;理查德·加纳 24 2012 作为一个集合的非交换性。 Zbl 1261.46051号 本诺·范登伯格;克里斯·希恩 12 2012 谓词代数集合论的几个方面。三: 滑轮。 兹比尔1253.03079 本诺·范登伯格;Moerdijk,比如 5 2012 谓词集理论的导出规则:滑轮的应用。 Zbl 1432.03128号 本诺·范登伯格;Moerdijk,比如 4 2012 非交换环的函数局部谱的No-go定理。 Zbl 1475.46067号 本诺·范登伯格;克里斯·希恩 2 2012 类型是弱\(\omega\)-群oid。 Zbl 1229.18007号 本诺·范登伯格;理查德·加纳 31 2011 表语代数集合论的几个方面。二: 可实现性。 Zbl 1215.03063号 本诺·范登伯格;Moerdijk,比如 10 2011 代数集合论的统一方法。 Zbl 1228.03046号 本诺·范登伯格;Moerdijk,比如 4 2009 谓词代数集合论的几个方面。一: 准确完成。 Zbl 1165.03045号 本诺·范登伯格;默迪克,艾克 11 2008 分类中的无足树。 Zbl 1166.03042号 本诺·范登伯格;费德里科·德·马奇 7 2007 通过索引最终余代数定理建立非良基集模型。 Zbl 1124.03049号 本诺·范登伯格;费德里科·德·马奇 6 2007 归纳类型和准确完成。 Zbl 1064.03041号 本诺·范登伯格 8 2005 所有引用出版物 前5名被引用出版物 全部的 前5名135位作者引用 19 本诺·范登伯格 9 彼得·勒法努,朗斯丹 9 山姆·桑德斯 8 史蒂夫·阿沃迪 8 Moerdijk,比如 7 尼古拉·甘比诺 5 布鲁诺·迪尼斯 5 Krzysztof卡普尔金 5 安德鲁·皮特斯(Andrew M.Pitts)。 4 雅各布·埃梅内格 4 罗伯特·哈珀 4 Michael A.舒尔曼。 4 沃伦、迈克尔·奥尔顿 三 卡洛·安吉利 三 加斯帕,詹姆 三 西蒙·亨利 三 克里斯·希恩 三 萨缪尔·马斯基奥 三 北,Paige Randall 三 保罗·奥利瓦 三 伊恩·奥尔顿 三 埃里克·帕尔姆格伦 三 法比奥·帕斯夸利 三 艾米丽·里尔 三 里纳尔迪,大卫 三 大卫·迈克尔·罗伯茨 三 彼得·迈克尔·舒斯特 三 托马斯·斯特里彻 三 范德维德,尼尔斯 2 彼得·阿策尔 2 阿伦斯,贝内迪克特 2 约翰·伯克 2 布里塞德,伊文德·马托尔 2 托马斯·科特雷尔 2 乔瓦尼·居里 2 费尔南多·费雷拉 2 煎炸,伊曼纽尔 2 石原、Hajime 2 卡拉科斯塔斯、瓦西里奥斯 2 米哈伊尔·卡茨(Mikhail G.Katz)。 2 Tatsuji Kawai 2 丹尼尔·李卡塔(Daniel R.Licata)。 2 玛丽亚·艾米莉亚·梅埃蒂 2 高子Nemoto 2 达格·诺曼 2 迈克尔·拉特扬 2 曼努埃尔·L·雷耶斯。 2 朱塞佩·罗索里尼 2 萨法利克、帕沃 2 萨特勒,克里斯蒂安 2 亚历克斯·K·辛普森。 2 南卡罗来纳州斯坦坎普。 2 安德鲁·斯旺。 2 苏米奥·卡罗尔 2 亨利·托斯纳 2 上村,太极 2 雅普·范·奥斯汀 2 弗拉基米尔·阿列克桑德罗维奇(Vladimir Aleksandrovich) 2 丹尼尔·韦塞尔 2 伊莱亚斯·扎菲里斯 1 Alías,Luis J。 1 托尔斯滕·阿滕柯奇 1 彼得·F·阿恩特。 1 杰里米·阿维加德 1 雅克·拜尔 1 托比亚斯·巴瑟尔 1 海宁·巴索尔德 1 迈克尔·本·兹维 1 蒂鲍特·本杰明 1 Krzysztof比拉斯 1 Błaszczyk,彼得 1 乌尔里克·巴赫霍尔茨 1 卡斯滕·布茨 1 埃文·卡瓦洛 1 亚历山德鲁·奇尔维西特 1 弗朗西斯科·达尼诺 1 汤姆·J·德容。 1 费德里科·德·马奇 1 卡斯滕·迪特泽尔 1 罗伯特·伊利 1 吉尔达·费雷拉 1 马塞洛·菲奥雷(Marcelo P.Fiore)。 1 亨利克·福赛尔 1 弗雷、乔纳斯 1 丹·弗鲁明 1 藤井秀一郎 1 戴维·格普纳 1 简·赫尔曼·杰弗斯 1 尼尔·加尼 1 马蒂亚斯·格兰贝格·奥尔森 1 约翰·乔治·格兰斯特罗姆 1 丹尼尔·格拉泽 1 简·哈姆哈特 1 阿亚娜·平田 1 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。 1 Hötzel Escardó,马丁 1 卡雷尔·哈瓦切克 1 黛博拉·英佩拉 1 卢卡·因科瓦蒂 1 彼得·约翰斯通(Peter T.Johnstone)。 …还有35位作者 全部的 前5名49篇连载文章中引用 24 纯逻辑与应用逻辑年鉴 17 MSCS公司。计算机科学中的数学结构 12 计算机科学中的逻辑方法 11 符号逻辑杂志 7 纯粹与应用代数杂志 5 数学逻辑季刊(MLQ) 4 数学逻辑档案 三 剑桥哲学学会数学进展杂志 三 Indagationes Mathematicae公司。新系列 三 物理学基础 2 数学分析与应用杂志 2 《伦敦数学学会通报》 2 代数杂志 2 圣母院形式逻辑杂志 2 Studia Logica公司 2 合成 2 理论计算机科学 2 应用的分类结构 2 范畴的理论与应用 2 高层建筑 1 数学物理中的通信 1 国际理论物理杂志 1 几何与物理杂志 1 数学进展 1 Annali di Matematica Pura ed应用程序。四分之一系列 1 数学出版物 1 伦敦数学学会杂志。第二系列 1 哲学逻辑杂志 1 数学年刊 1 数学期刊 1 美国数学学会会刊 1 数学论坛 1 随机结构与算法 1 美国数学学会公报。新系列 1 函数编程杂志 1 选择Mathematica。新系列 1 符号逻辑公报 1 欧洲数学学会杂志(JEMS) 1 数学逻辑杂志 1 代数和几何拓扑 1 葡萄牙数学。Nova Série公司 1 ACM计算逻辑事务 1 应用逻辑杂志 1 第比利斯数学杂志 1 汇聚数学 1 数学论坛,西格玛 1 范畴和一般代数结构及其应用 1 英国数学史杂志 1 葡萄牙数学 全部的 前5名在24个字段中引用 121 数理逻辑与基础(03-XX) 75 范畴理论;同调代数(18-XX) 43 代数拓扑(55-XX) 20 计算机科学(68至XX) 8 阶、格、有序代数结构(06-XX) 8 功能分析(46倍X倍) 7 量子理论(81-XX) 5 结合环与代数(16-XX) 4 实际功能(26年X月X日) 三 代数几何(14-XX) 2 历史和传记(01-XX) 2 组合数学(05-XX) 2 数论(11-XX) 2 算子理论(47-XX) 2 一般拓扑结构(54至XX) 1 总体主题;集合(00-XX) 1 一般代数系统(08-XX) 1 场论和多项式(12-XX) 1 交换代数(13-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 非结合环和代数(17-XX) 1 群论与推广(20-XX) 1 几何形状(51至XX) 1 微分几何(53至XX) 按年份列出的引文