Sergei Tupailo

According to our database, Sergei Tupailo authored at least 9 papers between 1992 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Consistency of strictly impredicative NF and a little more ...

Sergei Tupailo

J. Symb. Log., 2010

2006

Characterizing the interpretation of set theory in Martin-Löf typetheory.

Michael Rathjen, Sergei Tupailo

Ann. Pure Appl. Log., 2006

2004

On the intuitionistic strength of monotone inductive definitions.

Sergei Tupailo

J. Symb. Log., 2004

2003

Epsilon Substitution Method for Delta¹₁-CR: a Constructive Termination Proof.

Sergei Tupailo

Log. J. IGPL, 2003

Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe.

Sergei Tupailo

Ann. Pure Appl. Log., 2003

2001

Realization of Analysis into Explicit Mathematics.

Sergei Tupailo

J. Symb. Log., 2001

1996

Epsilon substitution method for elementary analysis.

Grigori Mints, Sergei Tupailo, Wilfried Buchholz

Arch. Math. Log., 1996

1994

On a Proof-Theoretical Analysis of Sigma-1, 1-AC, Sigma-1, 1-DC and Delta-1, 1-CA.

Sergei Tupailo

Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

1992

Gentzen-Style and Novikov-Style Cut-Elimination.

Sergei Tupailo

Proceedings of the Logical Foundations of Computer Science, 1992