×
作者ID: 塔帕利奥·谢尔盖“Tupailo,Sergei”最近发表的zbMATH文章
发布日期: 谢尔盖·图帕伊洛;南图帕伊洛。
已编制索引的文档: 17出版物自1992年以来,包括1本书
合著者: 3位合著者具有4联合出版物
123位Co-Co作者

按年份列出的出版物

zbMATH Open中包含的引文

9出版物有被引用5242文件 引用人 年份
元素分析的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

按年份列出的引文