Complexity of the index set of a constructive model
Translation from Algebra Logika 22, No.4, 372-381 (Russian) (1983; Zbl 0537.03022).
scientific article; zbMATH DE number 3867302