Starchak, M. R.
Article History
Received: 28 August 2020
Revised: 24 March 2021
Accepted: 17 June 2021
First Online: 20 December 2021
ADDITIONAL INFORMATION
: To cite this work: Starchak M.R. “A Proof of Bel’tyukov–Lipshitz Theorem by Quasi-Quantifier Elimination. II. The Main Reduction.” Vestnik of St. Petersburg University. Mathematics. Mechanics. Astronomy , 2021, vol. 8 (66), issue 4, pp. 608–619. (In Russian.) .