Constructive homogeneous extensions (Q1061735)

The article is devoted to the effective version of the classical theorem of model theory: every countable model has a homogeneous elementary extension. More precisely, the problem is the following: ''When does a strongly constructive model have an elementary homogeneous constructive strongly constructivizable extension?'' The article contains: a counterexample to the statement ''every model has'', a clear criterium for the existence of such extension in terms of elementary chains, and another criterium in terms of homogeneous families of finite types; the last is the main result of the article. This problem arose immediately from the investigations of M. G. Peretyatkin and S. S. Goncharov on the problem ''When is a homogeneous model strongly constructivizable?'', and from the representation of the corresponding criterium in \textit{Yu. L. Ershov}'s monograph ''Decision problems and constructivizable models'' (Russian) (1980; Zbl 0495.03009).