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