×
Edit Profile (opens in new tab)

Tupailo, Sergei

Co-Author Distance
Author ID: tupailo.sergei Recent zbMATH articles by "Tupailo, Sergei"
Published as: Tupailo, Sergei; Tupailo, S.
Documents Indexed: 17 Publications since 1992, including 1 Book
Co-Authors: 3 Co-Authors with 4 Joint Publications
124 Co-Co-Authors

Co-Authors

13 single-authored
2 Mints, Grigoriĭ Efroimovich
2 Rathjen, Michael
1 Buchholz, Wilfried
all top 5

Serials

3 The Journal of Symbolic Logic
2 Annals of Pure and Applied Logic
1 Eesti Teaduste Akadeemia Toimetised. Füüsika. Matemaatika
1 Logique et Analyse. Nouvelle Série
1 Archive for Mathematical Logic
1 Logic Journal of the IGPL
1 Dissertationes Mathematicae Universitatis Tartuensis

Fields

17 Mathematical logic and foundations (03-XX)
1 History and biography (01-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

9 Publications have been cited 54 times in 43 Documents Cited by ▼ Year ▼
Epsilon substitution method for elementary analysis. Zbl 0848.03032
Mints, Grigori; Tupailo, Sergei; Buchholz, Wilfried
17
1996
Characterizing the interpretation of set theory in Martin-Löf type theory. Zbl 1103.03050
Rathjen, Michael; Tupailo, Sergei
11
2006
Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe. Zbl 1022.03045
Tupailo, Sergei
10
2003
On the intuitionistic strength of monotone inductive definitions. Zbl 1070.03040
Tupailo, Sergei
5
2004
Epsilon-substitution method for the ramified language and \(\Delta_1^1\)-comprehension rule. Zbl 0954.03061
Mints, Grigori; Tupailo, Sergei
4
1999
Realization of analysis into explicit mathematis. Zbl 0993.03075
Tupailo, Sergei
4
2001
Finitary reductions for local predicativity. I: Recursively regular ordinals. Zbl 0949.03053
Tupailo, Sergei
1
2000
Gentzen-style and Novikov-style cut-elimination. Zbl 0978.03534
Tupailo, S.
1
1992
On the strength of the uniform fixed point principle in intuitionistic explicit mathematics. Zbl 1535.03291
Rathjen, Michael; Tupailo, Sergei
1
2020
On the strength of the uniform fixed point principle in intuitionistic explicit mathematics. Zbl 1535.03291
Rathjen, Michael; Tupailo, Sergei
1
2020
Characterizing the interpretation of set theory in Martin-Löf type theory. Zbl 1103.03050
Rathjen, Michael; Tupailo, Sergei
11
2006
On the intuitionistic strength of monotone inductive definitions. Zbl 1070.03040
Tupailo, Sergei
5
2004
Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe. Zbl 1022.03045
Tupailo, Sergei
10
2003
Realization of analysis into explicit mathematis. Zbl 0993.03075
Tupailo, Sergei
4
2001
Finitary reductions for local predicativity. I: Recursively regular ordinals. Zbl 0949.03053
Tupailo, Sergei
1
2000
Epsilon-substitution method for the ramified language and \(\Delta_1^1\)-comprehension rule. Zbl 0954.03061
Mints, Grigori; Tupailo, Sergei
4
1999
Epsilon substitution method for elementary analysis. Zbl 0848.03032
Mints, Grigori; Tupailo, Sergei; Buchholz, Wilfried
17
1996
Gentzen-style and Novikov-style cut-elimination. Zbl 0978.03534
Tupailo, S.
1
1992
all cited Publications top 5 cited Publications
all top 5

Cited by 33 Authors

7 Rathjen, Michael
6 Mints, Grigoriĭ Efroimovich
5 Tupailo, Sergei
4 Aschieri, Federico
2 Arai, Toshiyasu
2 Jäger, Gerhard
2 Moser, Georg
2 Towsner, Henry
1 Bellotti, Luca
1 Berger, Ulrich
1 Buchholz, Wilfried
1 Buss, Samuel R.
1 Cantini, Andrea
1 Cook, Jacob
1 Coquand, Thierry
1 Gallozzi, Cesare
1 Hayashi, Daichi
1 Iemhoff, Rosalie
1 Kentaro, Sato
1 Neuwirth, Stefan
1 Palmgren, Erik
1 Sato, Kentaro
1 Steel, John R.
1 Stoltenberg-Hansen, Viggo
1 Strahm, Thomas
1 Studer, Thomas
1 Swan, Andrew W.
1 Tsuiki, Hideki
1 Van den Berg, Benno
1 Zach, Richard
1 Ziegler, Albert
1 Zorzi, Margherita
1 Zumbrunnen, Rico
all top 5

Cited in 11 Serials

16 Annals of Pure and Applied Logic
6 Archive for Mathematical Logic
4 Mathematical Structures in Computer Science
3 The Bulletin of Symbolic Logic
2 The Journal of Symbolic Logic
2 Theoretical Computer Science
2 Mathematical Logic Quarterly (MLQ)
1 Studia Logica
1 History and Philosophy of Logic
1 Journal of Mathematical Sciences (New York)
1 The Review of Symbolic Logic
all top 5

Cited in 6 Fields

43 Mathematical logic and foundations (03-XX)
3 General and overarching topics; collections (00-XX)
2 History and biography (01-XX)
2 Order, lattices, ordered algebraic structures (06-XX)
2 Category theory; homological algebra (18-XX)
1 Computer science (68-XX)

Citations by Year