2012. Complete inductive theory with one countable existentially closed model. Journal of Mathematics Mechanics and Computer Science. 73, 2 (Jun. 2012), 62–70.