Main Publications

• S.Tupailo, Gentzen-style and Novikov-style cutelimination, in: Logical Foundations of Computer Science - Tver'92, Lecture Notes in Computer Science, 620 (1992), 493-502
• S. Tupailo, Normalization for Arithmetical Comprehension with Restricted Occurences of Hilbert's Epsilon Symbol, Eesti TA Toimetised, Füüsika-Matemaatika, kd. 42, nr. 4, 1993, lk. 289-299
• S. Tupailo, On a Proof-Theoretical Analysis of $\Sigma^1_1-AC$, $\Sigma^1_1-DC$ and $\Delta^1_1-CA$, Proceedings of LPAR'94, Lecture Notes in Artificial Intelligence, v. 822 (1993), pp. 44-53
• G. Mints, S. Tupailo, W. Buchholz, Epsilon substitution method for elementary analysis, Archive for Mathematical Logic (1996) 35 pp. 103-130. (Published as a Research Report at Stanford in 1993)
• G. Mints, S. Tupailo, Epsilon substitution method for the ramified language and $\Delta^1_1$-comprehension rule. In: A. Cantini, E. Casari, P.L. Minari (eds.), Logic and Foundations of Mathematics, 107--130, 1999. (Published as a Research Report No. CSLI-96-198, Part 1, at Stanford in 1996)
• S. Tupailo, Finitary reductions for local predicativity, 1: recursively regular ordinals. In: S. Buss, P. Hajek, P. Pudlak (eds.), Logic Colloquium 98, 465--499, 2000
• S. Tupailo, Realization of analysis into Explicit Mathematics, Journal of Symbolic Logic: 66(4), 1848--1864, 2001
• S. Tupailo, Realization of Constructive Set Theory into Explicit Mathematics: a lower bound for impredicative Mahlo universe. Annals of Pure and Applied Logic: 120/1--3, pp. 165--196, 2003
• S. Tupailo. On Non-wellfounded Constructive Set Theory. In: G. Mints, R. Muskens (eds.), Games, Logic, and Constructive Sets, 109--125, CSLI Publications, 2003
• S. Tupailo. Epsilon Substitution Method for $\Delta^1_1-CR$: a Constructive Termination Proof. Logic Journal of the IGPL, Vol. 11 No. 3, pp. 365-375, 2003
• S. Tupailo. On the Intuitionistic Strength of Monotone Inductive Definitions. Journal of Symbolic Logic: 69(3), 790-798, 2004
• M. Rathjen, S. Tupailo. Characterizing the interpretation of set theory in Martin-Loef  type theory. Annals of Pure and Applied Logic: 141(3), 442--471, 2006
  
• S. Tupailo. Monotone Inductive Definitions and consistency of New Foundations. In: C. Dimitracopoulos, L. Newelski, D. Normann, J. R. Steel  (eds.), Proceedings of Logic Colloquium 2005, Lecture Notes in Logic (No. 28), pp. 255--272, 2008
• S. Tupailo. Consistency of Strictly Impredicative NF and a little more... To appear in the Journal of Symbolic Logic