Kulpeshov, B.Sh., and S.V. Sudoplatov. “On Behaviour of 2-Formulas in Ordered Theories With Non-Maximal Number of Countable Models”. Bulletin of the Karaganda University. Mathematics Series, vol. 81, no. 1, Mar. 2016, pp. 68-75, https://mts.buketov.edu.kz/index.php/mathematics-vestnik/article/view/80.