编辑配置文件(在新选项卡中打开) 谢尔盖·图帕伊洛 合著者距离 作者ID: 塔帕利奥·谢尔盖 发布日期: 谢尔盖·图帕伊洛;南图帕伊洛。 已编制索引的文档: 17出版物自1992年以来,包括1本书 合著者: 3位合著者具有4联合出版物 123位Co-Co作者 合著者 13 单作者的 2 格里戈里·埃弗罗伊莫维奇造币厂 2 迈克尔·拉特扬 1 威尔弗里德·巴赫霍尔茨 全部的 前5名系列 三 符号逻辑杂志 2 纯逻辑与应用逻辑年鉴 1 Eesti Teaduste Akadeemia卫生间。吕西卡。马特马提卡 1 逻辑与分析。Nouvelle Série公司 1 数学逻辑档案 1 IGPL逻辑期刊 1 塔尔图大学数学学位论文 领域 17 数学逻辑和基础(03-XX) 1 历史和传记(01-XX) 1 组合数学(05-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用52次42文件 引用人▼ 年份▼ 元素分析的Epsilon替代法。 Zbl 0848.03032号 格里戈里薄荷;谢尔盖·图帕伊洛;威尔弗里德·巴赫霍尔茨 17 1996 描述马丁洛夫类型理论中集合论的解释。 Zbl 1103.03050号 迈克尔·拉特扬;谢尔盖·图帕伊洛 11 2006 构造集理论在显式数学中的实现:非独立Mahlo宇宙的下限。 Zbl 1022.03045号 谢尔盖·图帕伊洛 9 2003 关于单调归纳定义的直觉强度。 兹比尔1070.03040 谢尔盖·图帕伊洛 5 2004 分支语言的Epsilon替换方法和(Delta_1^1)-理解规则。 Zbl 0954.03061号 格里戈里薄荷;谢尔盖·图帕伊洛 4 1999 显式数学分析的实现。 Zbl 0993.03075号 谢尔盖·图帕伊洛 三 2001 局部预测性的财务缩减。一: 递归正则序数。 兹伯利0949.03053 谢尔盖·图帕伊洛 1 2000 Gentzen型和Novikov型切割消除。 Zbl 0978.03534号 南图帕伊洛。 1 1992 直觉显式数学中一致不动点原理的优点。 Zbl 07438603号 迈克尔·拉特扬;谢尔盖·图帕伊洛 1 2020 直觉显式数学中一致不动点原理的优点。 Zbl 07438603号 迈克尔·拉特扬;谢尔盖·图帕伊洛 1 2020 描述Martin-Löf类型理论中集合论的解释。 Zbl 1103.03050号 迈克尔·拉特扬;谢尔盖·图帕伊洛 11 2006 关于单调归纳定义的直觉强度。 Zbl 1070.03040号 谢尔盖·图帕伊洛 5 2004 构造集理论在显式数学中的实现:非独立Mahlo宇宙的下限。 Zbl 1022.03045号 谢尔盖·图帕伊洛 9 2003 显式数学分析的实现。 Zbl 0993.03075号 谢尔盖·图帕伊洛 三 2001 局部预测性的财务缩减。一: 递归正则序数。 Zbl 0949.03053号 谢尔盖·图帕伊洛 1 2000 分支语言的Epsilon替换方法和(Delta_1^1)-理解规则。 Zbl 0954.03061号 格里戈里薄荷;谢尔盖·图帕伊洛 4 1999 元素分析的Epsilon替代法。 Zbl 0848.03032号 格里戈里薄荷;谢尔盖·图帕伊洛;威尔弗里德·巴赫霍尔茨 17 1996 Gentzen型和Novikov型切割消除。 Zbl 0978.03534号 南图帕伊洛。 1 1992 所有引用出版物 前5名被引用出版物 全部的 前5名32位作者引用 7 迈克尔·拉特扬 6 格里戈里·埃弗罗伊莫维奇造币厂 5 谢尔盖·图帕伊洛 4 费德里科·阿西埃里 2 阿莱、东山英彦 2 贾格尔,格哈德 2 乔治·莫瑟 2 亨利·托斯纳 1 卢卡·贝洛蒂 1 乌尔里希·伯杰 1 威尔弗里德·巴赫霍尔茨 1 Samuel R.巴斯。 1 安德烈亚·坎蒂尼 1 雅各布·库克 1 可口、蒂埃里 1 塞萨尔·加洛齐 1 罗莎莉,伊姆霍夫 1 佐藤·肯塔罗 1 斯特凡·纽沃思 1 埃里克·帕尔姆格伦 1 佐藤,肯塔罗 1 约翰·R·斯蒂尔。 1 斯托尔滕贝格-汉森,维戈 1 托马斯·斯特拉姆 1 托马斯·施图德 1 安德鲁·斯旺。 1 Hideki Tsuiki 1 本诺·范登伯格 1 理查德·扎克 1 阿尔伯特·齐格勒 1 玛格丽塔·佐齐 1 利科·赞布伦 全部的 前5名11篇连载文章中引用 15 纯逻辑与应用逻辑年鉴 6 数学逻辑档案 4 MSCS公司。计算机科学中的数学结构 三 符号逻辑公报 2 符号逻辑杂志 2 理论计算机科学 2 数学逻辑季刊(MLQ) 1 Studia Logica公司 1 逻辑历史与哲学 1 数学科学杂志(纽约) 1 符号逻辑述评 全部的 前5名在7个字段中引用 42 数学逻辑和基础(03-XX) 三 总体主题;集合(00-XX) 2 历史和传记(01-XX) 2 有序,格,有序代数结构(06-XX) 2 范畴理论;同调代数(18-XX) 1 组合数学(05-XX) 1 计算机科学(68至XX) 按年份列出的引文