编辑配置文件(在新选项卡中打开) 埃里克·芬斯特 合著者距离 作者ID: 芬斯特埃里克 发布日期: 埃里克·芬斯特;E·芬斯特。 主页: http://ericfinster.github.io/ 外部链接: MGP公司·数据库许可证 已编制索引的文档: 14出版物自2014年以来,包括7其他arXiv预打印 1进一步贡献 合著者: 15位合著者具有15联合出版物 156位合作作者 全部的 前5名合著者 0 单作者的 6 安德烈·乔亚尔 5 乔治·比德曼 4 马修·阿内尔 三 丹尼尔·李卡塔(Daniel R.Licata)。 三 杰米·维卡里 2 侯(法沃尼亚),Kuen Bang 2 彼得·勒法努·卢姆斯代恩 2 塞缪尔·米姆拉姆 2 索索、马蒂厄 1 彼得·阿策尔 1 阿伦斯,贝内迪克特 1 安托万·阿利乌克斯 1 托尔斯滕·阿滕柯奇 1 卡洛·安吉利 1 杰里米·阿维加德 1 史蒂夫·阿沃迪 1 布鲁诺·巴拉斯 1 安德烈·鲍尔 1 蒂鲍特·本杰明 1 伊夫·贝托特 1 马克·贝泽姆 1 安东尼·博尔吉 1 纪尧姆·布鲁内里 1 科恩,西里尔 1 罗伯特·李,警察 1 可口、蒂埃里 1 皮埃尔·卢伊斯·居里 1 克里斯托弗·J·迪安。 1 彼得·戴比杰 1 甘比诺,尼古拉 1 理查德·加纳 1 乔治·戈蒂尔 1 丹尼尔·理查德·格雷森 1 托马斯·卡利斯特·黑尔斯 1 罗伯特·哈珀 1 雨果·赫贝林 1 马丁·霍夫曼 1 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。 1 Hötzel Escardó,马汀 1 Krzysztof卡普尔金 1 约阿希姆·科克 1 尼古拉·克劳斯 1 李诺 1 丹·利卡塔 1 罗朝晖 1 阿西亚·马布比 1 Ioannis的Markakis 1 马丁·洛夫(Martin-Löf,Per) 1 谢尔盖·阿列克桑德罗维奇·梅利霍夫 1 迈克尔,纳哈斯 1 埃里克·帕尔姆格伦 1 阿尔瓦罗·佩莱奥 1 安德鲁·波伦斯基 1 大卫·雅各布(David Jakob),雷特(Reutter) 1 艾米丽·里尔 1 埃格伯特·里杰克 1 米切尔·莱利 1 达娜·斯图尔特·斯科特 1 菲利普·斯科特。 1 舒尔曼,迈克尔·A。 1 克里斯蒂娜·索贾科娃 1 索洛夫·弗拉基米洛维奇 1 溅出物,Bas 1 1 本诺·范登伯格 1 弗拉基米尔·阿列克桑德罗维奇(Vladimir Aleksandrovich) 1 沃伦、迈克尔·奥尔顿 1 诺姆·齐尔伯格 系列 2 拓扑杂志 1 数学进展 1 纯粹与应用代数杂志 领域 6 范畴理论;同调代数(18-XX) 5 数学逻辑和基础(03-XX) 5 代数拓扑(55-XX) 1 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用47次36文件 引用人▼ 年份▼ 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 同伦类型理论中的Eilenberg-MacLane空间。 Zbl 1395.68249号 丹尼尔·李卡塔(Daniel R.Licata)。;埃里克·芬斯特 15 2014 广义Blakers-Massey定理。 Zbl 1456.18017号 马修·阿内尔;乔治·比德曼;埃里克·芬斯特;安德烈·乔亚尔 9 2020 弱范畴的类型理论定义。 Zbl 1452.18024号 埃里克·芬斯特;塞缪尔·米姆拉姆 8 2017 古德威利函子演算与高等拓扑理论。 Zbl 1423.18009号 M.阿内尔。;Biedermann,G。;E·芬斯特。;A.乔亚尔。 7 2018 同伦类型理论中Blakers-Massey连通性定理的机械化。 Zbl 1395.55011号 侯(法沃尼亚),Kuen Bang;埃里克·芬斯特;丹尼尔·李卡塔(Daniel R.Licata)。;彼得·勒法努·卢姆斯代恩 6 2016 \(\infty \)-topoi的左精确定位。一: 更高的滑轮。 Zbl 1498.18009号 马修·阿内尔;乔治·比德曼;埃里克·芬斯特;安德烈·乔亚尔 2 2022 \(\infty \)-topoi的左精确定位。一: 更高的滑轮。 Zbl 1498.18009号 马修·阿内尔;乔治·比德曼;埃里克·芬斯特;安德烈·乔亚尔 2 2022 一个广义的Blakers-Massey定理。 Zbl 1456.18017号 马修·阿内尔;乔治·比德曼;埃里克·芬斯特;安德烈·乔亚尔 9 2020 古德威利函子演算与高等拓扑理论。 Zbl 1423.18009号 M.阿内尔。;比德曼,G。;芬斯特,E。;A.乔亚尔。 7 2018 弱范畴的类型理论定义。 Zbl 1452.18024号 埃里克·芬斯特;塞缪尔·米姆拉姆 8 2017 同伦类型理论中Blakers-Massey连通性定理的机械化。 Zbl 1395.55011号 侯(法沃尼亚),Kuen Bang;埃里克·芬斯特;丹尼尔·李卡塔(Daniel R.Licata)。;彼得·勒法努·卢姆斯代恩 6 2016 同伦类型理论中的Eilenberg-MacLane空间。 Zbl 1395.68249号 丹尼尔·李卡塔(Daniel R.Licata)。;埃里克·芬斯特 15 2014 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 所有引用出版物 前5名被引用出版物 全部的 前5名50位作者引用 5 埃格伯特·里杰克 5 Michael A.舒尔曼。 4 范德维德,尼尔斯 三 乌尔里克·巴赫霍尔茨 三 J.Daniel克里斯滕森 三 路易斯·内里奥·斯科科拉 2 阿伦斯,贝内迪克特 2 马修·阿内尔 2 卡洛·安吉利 2 乔治·比德曼 2 埃里克·芬斯特 2 安德烈·乔亚尔 2 丹尼尔·李卡塔(Daniel R.Licata)。 1 迪米特里·阿拉 1 迈克尔·巴塔宁。 1 本杰明,蒂博 1 纪尧姆·布鲁内里 1 费利克斯·切鲁比尼 1 托马斯·科特雷尔 1 皮埃尔·卢伊斯·居里 1 德瓦拉普卡尔,萨那 1 丹·弗鲁明 1 藤井秀一郎 1 简·赫尔曼·杰弗斯 1 丹尼尔·格拉泽 1 丹尼尔·理查德·格雷森 1 彼得·海恩。 1 罗伯特·哈珀 1 侯(法沃尼亚),Kuen Bang 1 Krzysztof卡普尔金 1 安德烈·拉扎列夫 1 穆里尔·利弗内特 1 马可·马格西 1 乔治·马尔蒂尼奥蒂斯 1 马丁·马克尔 1 Jean-Pierre侯爵 1 塞缪尔·米姆拉姆 1 爱德华·莫尔豪斯 1 迈尔斯、大卫·贾兹 1 北,Paige Randall 1 摩根·奥佩 1 凯特·蓬托 1 尼玛·拉塞克 1 溅出物,Bas 1 乔纳森·斯特林 1 安德鲁·斯旺。 1 苏米奥·卡罗尔 1 Thanh,Cédric Ho 1 尼科洛·维尔特里 1 戴维·沃恩(David E.Warn)。 全部的 前5名14篇连载文章中引用 7 MSCS公司。计算机科学中的数学结构 6 计算机科学中的逻辑方法 三 纯粹与应用代数杂志 三 高层建筑 2 数学进展 2 美国数学学会公报。新系列 1 美国数学学会会刊 1 自动化推理杂志 1 函数编程杂志 1 选择Mathematica。新系列 1 Documenta Mathematica公司 1 代数和几何拓扑 1 Oberwolfach报告 1 同伦及相关结构杂志 全部的 前5名在6个字段中引用 23 数学逻辑和基础(03-XX) 23 范畴理论;同调代数(18-XX) 22 代数拓扑(55-XX) 9 计算机科学(68至XX) 2 总体主题;集合(00-XX) 1 代数几何(14-XX) 按年份列出的引文