A. T. Nurtazin, “Complete inductive theory with one countable existentially closed model”., JMMCS, vol. 73, no. 2, pp. 62–70, Jun. 2012.