V. Yu. Shavrukov

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On Guaspari's problem about partially conservative sentences Annals of Pure and Applied Logic	2022-04-01	Paper
R.e. Prime powers and total rigidity Advances in Mathematics	2019-12-19	Paper
On Guaspari's problem about partially conservative sentences	2019-09-06	Paper
Dense chains of ${\Sigma}_n$ sentences with strong conservativity properties	2019-07-24	Paper
Corrigendum: The ∀∃ theory of Peano Σ1 sentences Journal of Mathematical Logic	2017-06-20	Paper
Duality, non-standard elements, and dynamic properties of r.e. sets Annals of Pure and Applied Logic	2016-07-22	Paper
Uniform density in Lindenbaum algebras Notre Dame Journal of Formal Logic	2015-02-26	Paper
The $\forall \exists $ theory of Peano $\Sigma_1$ sentences Journal of Mathematical Logic	2010-03-19	Paper
Effectively inseparable Boolean algebras in lattices of sentences Archive for Mathematical Logic	2010-01-22	Paper
Monoid presentations of groups by finite special string-rewriting systems RAIRO - Theoretical Informatics and Applications	2004-10-28	Paper
scientific article; zbMATH DE number 1045790 (Why is no real title available?)	1997-11-02	Paper
Undecidability in diagonalizable algebras Journal of Symbolic Logic	1997-08-18	Paper
Remarks on Uniformly Finitely Precomplete Positive Equivalences Mathematical Logic Quarterly	1996-12-05	Paper
A smart child of Peano's Notre Dame Journal of Formal Logic	1995-07-02	Paper
A note on the diagonalizable algebras of PA and ZF Annals of Pure and Applied Logic	1993-09-22	Paper
scientific article; zbMATH DE number 219032 (Why is no real title available?)	1993-08-22	Paper
ON TWO EXTENSIONS OF THE LOGIC OF PROVABILITY GL Mathematics of the USSR-Sbornik	1991-01-01	Paper
The Lindenbaum fixed point algebra is undecidable Studia Logica	1991-01-01	Paper
On Rosser's Provability Predicate Mathematical Logic Quarterly	1991-01-01	Paper
scientific article; zbMATH DE number 4168652 (Why is no real title available?)	1990-01-01	Paper

Research outcomes over time

This page was built for person: V. Yu. Shavrukov