V. Yu Shavrukov

Monoid presentations of groups by finite special string-rewriting systems (2004)

Parkes, Duncan W., Shavrukov, V. Yu., Thomas, Richard M.

Isomorphisms of Diagonalizable Algebras (1996)

V. Yu. Shavrukov, Spaarndammerdijk --d

this paper are first order r.e. theories over classical predicate logic. We assume that a translation of the arithmetic language into that of each theory is fixed and do not distinguish between...

A smart child of Peano's. (1994)

Shavrukov, V. Yu.

Undecidability in Diagonizable Algebras (1993)

Shavrukov, V.Yu.

Unknown

Remarks on Uniformly Finitely Precomplete Positive Equivalences (1993)

Shavrukov, V.Yu.

Unknown

A Smart Child of Peano's (1992)

Shavrukov, V.Yu.

Unknown

Subalgebras of Diagonalizable Algebras of Theories containing Arithmetic (revised version of X-1991-03) (1991)

Shavrukov, V.Yu.

Unknown

Subalgebras of Diagonalizable Algebras of Theories containing Arithmetic (superseded by X-1991-15) (1991)

Shavrukov, V.Yu.

Unknown

A Note on the Diagonalizable Algebras of PA and ZF (1991)

Shavrukov, V.Yu.

Unknown

On Rosser's Provability Predicate (1990)

Shavrukov, V.Yu.

Unknown

The Lindenbaum Fixed Point Algebra is Undecidable (1990)

Shavrukov, V.Yu.

Unknown