V. Yu. Shavrukov

Publication Activity (10 Years)

Years Active: 1991-2022
Publications (10 Years): 2

Top Topics

Sentence Similarity

Structural Properties

Clifford Algebra

Dynamic Behavior

Top Venues

Ann. Pure Appl. Log.

Notre Dame J. Formal Log.

Publications

Taishi Kurahashi, Yuya Okawa, V. Yu. Shavrukov, Albert Visser
On Guaspari's problem about partially conservative sentences. Ann. Pure Appl. Log. 173 (5) (2022)
V. Yu. Shavrukov
Duality, non-standard elements, and dynamic properties of r.e. sets. Ann. Pure Appl. Log. 167 (10) (2016)
V. Yu. Shavrukov, Albert Visser
Uniform Density in Lindenbaum Algebras. Notre Dame J. Formal Log. 55 (4) (2014)
V. Yu. Shavrukov
Effectively inseparable Boolean algebras in lattices of sentences. Arch. Math. Log. 49 (1) (2010)
Per Lindström, V. Yu. Shavrukov
Sentences. J. Math. Log. 8 (2) (2008)
Duncan W. Parkes, V. Yu. Shavrukov, Richard M. Thomas
Monoid presentations of groups by finite special string-rewriting systems. RAIRO Theor. Informatics Appl. 38 (3) (2004)
V. Yu. Shavrukov
Undecidability in Diagonalizable Algebras. J. Symb. Log. 62 (1) (1997)
V. Yu. Shavrukov
Remarks on Uniformly Finitely Precomplete Positive Equivalences. Math. Log. Q. 42 (1996)
V. Yu. Shavrukov
A Smart Child of Peano's. Notre Dame J. Formal Log. 35 (2) (1994)
V. Yu. Shavrukov
A Note on the Diagonalizable Algebras of PA and ZF. Ann. Pure Appl. Log. 61 (1-2) (1993)
V. Yu. Shavrukov
On Rosser's Provability Predicate. Math. Log. Q. 37 (19-22) (1991)
V. Yu. Shavrukov
The Lindenbaum fixed point algebra is undecidable. Stud Logica 50 (1) (1991)