Elementary submodels of parametrizable models. Morozov, A.S. (2006) Sibirskij Matematicheskij Zhurnal
Estimation of the algorithmic complexity of classes of computable models. Pavlovskij, E.N. (2008) Sibirskij Matematicheskij Zhurnal