The following pages link to V. Yu. Shavrukov (Q685076):
Displayed 20 items.
- A note on the diagonalizable algebras of PA and ZF (Q685077) (← links)
- The Lindenbaum fixed point algebra is undecidable (Q810010) (← links)
- A smart child of Peano's (Q1344434) (← links)
- On Guaspari's problem about partially conservative sentences (Q2120971) (← links)
- Uniform density in Lindenbaum algebras (Q2258545) (← links)
- R.e. Prime powers and total rigidity (Q2281321) (← links)
- Duality, non-standard elements, and dynamic properties of r.e. sets (Q2630829) (← links)
- Effectively inseparable Boolean algebras in lattices of sentences (Q2655144) (← links)
- ON TWO EXTENSIONS OF THE LOGIC OF PROVABILITY GL (Q3202992) (← links)
- (Q3495340) (← links)
- Undecidability in diagonalizable algebras (Q4338316) (← links)
- (Q4347425) (← links)
- (Q4694581) (← links)
- Monoid presentations of groups by finite special string-rewriting systems (Q4825397) (← links)
- Remarks on Uniformly Finitely Precomplete Positive Equivalences (Q4868242) (← links)
- On Rosser's Provability Predicate (Q5203006) (← links)
- (Q5224698) (← links)
- Corrigendum: The ∀∃ theory of Peano Σ1 sentences (Q5268402) (← links)
- THE ∀∃ THEORY OF PEANO Σ<sub>1</sub> SENTENCES (Q5305060) (← links)
- On Guaspari's problem about partially conservative sentences (Q6324781) (← links)