Sergei Tupailo

Publication Activity (10 Years)

Years Active: 1992-2010
Publications (10 Years): 0

Publications

Sergei Tupailo
Consistency of strictly impredicative NF and a little more ... J. Symb. Log. 75 (4) (2010)
Michael Rathjen, Sergei Tupailo
Characterizing the interpretation of set theory in Martin-Löf typetheory. Ann. Pure Appl. Log. 141 (3) (2006)
Sergei Tupailo
On the intuitionistic strength of monotone inductive definitions. J. Symb. Log. 69 (3) (2004)
Sergei Tupailo
-CR: a Constructive Termination Proof. Log. J. IGPL 11 (3) (2003)
Sergei Tupailo
Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe. Ann. Pure Appl. Log. 120 (1-3) (2003)
Sergei Tupailo
Realization of Analysis into Explicit Mathematics. J. Symb. Log. 66 (4) (2001)
Grigori Mints, Sergei Tupailo, Wilfried Buchholz
Epsilon substitution method for elementary analysis. Arch. Math. Log. 35 (2) (1996)
Sergei Tupailo
On a Proof-Theoretical Analysis of Sigma-1, 1-AC, Sigma-1, 1-DC and Delta-1, 1-CA. LPAR (1994)
Sergei Tupailo
Gentzen-Style and Novikov-Style Cut-Elimination. LFCS (1992)