![]() | ![]() |
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) |