| |
| 1997 | ||
|---|---|---|
| 4 | V. Yu. Shavrukov: Undecidability in Diagonalizable Algebras. J. Symb. Log. 62(1): 79-116 (1997) | |
| 1996 | ||
| 3 | V. Yu. Shavrukov: Remarks on Uniformly Finitely Precomplete Positive Equivalences. Math. Log. Q. 42: 67-82 (1996) | |
| 1994 | ||
| 2 | V. Yu. Shavrukov: A Smart Child of Peano's. Notre Dame Journal of Formal Logic 35(2): 161-185 (1994) | |
| 1993 | ||
| 1 | V. Yu. Shavrukov: A Note on the Diagonalizable Algebras of PA and ZF. Ann. Pure Appl. Logic 61(1-2): 161-173 (1993) | |