Publications

Export 4 results:

Filters: Author is Sergei Tupailo [Clear All Filters]

2003

S. Tupailo, “Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe”, Annals of Pure and Applied Logic, vol. 120, p. 165{–}196, 2003.

2001

S. Tupailo, “Realization of analysis into explicit mathematics”, The Journal of Symbolic Logic, vol. 66, p. 1848{–}1864, 2001.

2000

S. Tupailo, “Finitary reductions for local predicativity, I: recursively regular ordinals”, in Proceedings of Logic Colloquium '98, 2000, vol. 13, p. 465{–}499.

1999

G. Mints and S. Tupailo, “Epsilon-substitution method for the ramified language and $Δ^1_1$-comprehension rule”, in Logic and Foundation of Mathematics, 1999, p. 107{–}130.