4 citations · 8 across the 5 of their papers we have counts for
4 papers · 1 filter
Algebraization of a Cartier divisor
Dmitry Trushin
We extend to pairs classical results of R. Elkik on lifting of homomorphisms and algebraization. In particular, we establish algebraization of an affine rig-smooth formal variety w…
Computing Constraint Sets for Differential Fields
Russell Miller, Alexey Ovchinnikov, Dmitry Trushin
Kronecker's Theorem and Rabin's Theorem are fundamental results about computable fields F and the decidability of the set of irreducible polynomials over F. We adapt these theorems…
Galois theory of difference equations with periodic parameters
Benjamin Antieau, Alexey Ovchinnikov, Dmitry Trushin
We develop a Galois theory for systems of linear difference equations with periodic parameters, for which we also introduce linear difference algebraic groups. We then apply this t…
Nullstellensatz over quasifields
Dima Trushin
We investigate the least studied class of differential rings -- the class of differential rings of nonzero characteristic. We present the notion of differentially closed quasifield…