( en | de | ru )

 

Disambiguation of "Shavrukov, V. Yu."

Author of the publication

copydeleteadd this publication to your clipboard
On Guaspari's problem about partially conservative sentences.

, , , and . Ann. Pure Appl. Log., 173 (5): 103087 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

V Saile

V Geoffroy

V Fendrich

V Adams

V Ustinov

 

Other publications of authors with the same name

On Guaspari's problem about partially conservative sentences., , , and . Ann. Pure Appl. Log., 173 (5): 103087 (2022)Effectively inseparable Boolean algebras in lattices of sentences.. Arch. Math. Log., 49 (1): 69-89 (2010)A Note on the Diagonalizable Algebras of PA and ZF.. Ann. Pure Appl. Log., 61 (1-2): 161-173 (1993)The Lindenbaum fixed point algebra is undecidable.. Stud Logica, 50 (1): 143-148 (1991)Duality, non-standard elements, and dynamic properties of r.e. sets.. Ann. Pure Appl. Log., 167 (10): 939-981 (2016)Uniform Density in Lindenbaum Algebras., and . Notre Dame J. Formal Log., 55 (4): 569-582 (2014)On Rosser's Provability Predicate.. Math. Log. Q., 37 (19-22): 317-330 (1991)Undecidability in Diagonalizable Algebras.. J. Symb. Log., 62 (1): 79-116 (1997)A Smart Child of Peano's.. Notre Dame J. Formal Log., 35 (2): 161-185 (1994)Monoid presentations of groups by finite special string-rewriting systems., , and . RAIRO Theor. Informatics Appl., 38 (3): 245-256 (2004)