V. Yu. Shavrukov

Available identifiers

Publication	Date of Publication	Type
On Guaspari's problem about partially conservative sentences	2022-04-01	Paper
R.e. Prime powers and total rigidity	2019-12-19	Paper
On Guaspari's problem about partially conservative sentences	2019-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q5224698	2019-07-24	Paper
Corrigendum: The ∀∃ theory of Peano Σ1 sentences	2017-06-20	Paper
Duality, non-standard elements, and dynamic properties of r.e. sets	2016-07-22	Paper
Uniform density in Lindenbaum algebras	2015-02-26	Paper
The \(\forall \exists \) theory of Peano \(\Sigma_1\) sentences	2010-03-19	Paper
Effectively inseparable Boolean algebras in lattices of sentences	2010-01-22	Paper
Monoid presentations of groups by finite special string-rewriting systems	2004-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4347425	1997-11-02	Paper
Undecidability in diagonalizable algebras	1997-08-18	Paper
Remarks on Uniformly Finitely Precomplete Positive Equivalences	1996-12-05	Paper
A smart child of Peano's	1995-07-02	Paper
A note on the diagonalizable algebras of PA and ZF	1993-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4694581	1993-08-22	Paper
ON TWO EXTENSIONS OF THE LOGIC OF PROVABILITY GL	1991-01-01	Paper
The Lindenbaum fixed point algebra is undecidable	1991-01-01	Paper
On Rosser's Provability Predicate	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3495340	1990-01-01	Paper

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