 | 2006 |
|---|
| 6 |       | Michael Rathjen,
Sergei Tupailo:
Characterizing the interpretation of set theory in Martin-Löf typetheory.
Ann. Pure Appl. Logic 141(3): 442-471 (2006) |
| 2003 |
|---|
| 5 |  | Sergei Tupailo:
Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe.
Ann. Pure Appl. Logic 120(1-3): 165-196 (2003) |
| 4 | | Sergei Tupailo:
Epsilon Substitution Method for Delta11-CR: a Constructive Termination Proof.
Logic Journal of the IGPL 11(3): 367-377 (2003) |
| 2001 |
|---|
| 3 | | Sergei Tupailo:
Realization of Analysis into Explicit Mathematics.
J. Symb. Log. 66(4): 1848-1864 (2001) |
| 1994 |
|---|
| 2 | | Sergei Tupailo:
On a Proof-Theoretical Analysis of Sigma-1, 1-AC, Sigma-1, 1-DC and Delta-1, 1-CA.
LPAR 1994: 44-53 |
| 1992 |
|---|
| 1 | | Sergei Tupailo:
Gentzen-Style and Novikov-Style Cut-Elimination.
LFCS 1992: 493-502 |
