V. Y. Shavrukov

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

Parkes, D.W., Shavrukov, V.Y., Thomas, Richard M.

Interpreting reflexive theories in finitely many axioms (1998)

Shavrukov, V.Y.

For finitely axiomatized sequential theories F and reflexive theories R, we give a characterization of the relation ‘F interprets R’ in terms of provability of restricted consistency statements...

Isomorphisms of diagonalizable algebras (1996)

Shavrukov, V.Y.