Nikolova, Stela K. Definability via partial enumerations with semicomputable codomains. (English) Zbl 1079.03541 God. Sofij. Univ., Fak. Mat. Inform. 92(1998), No. 1, 49-63 (2000). MSC: 03D75 03D70 PDF BibTeX XML Cite \textit{S. K. Nikolova}, God. Sofiĭ. Univ., Fak. Mat. Inform. 92, No. 1, 49--63 (2000; Zbl 1079.03541)
Nikolova, Stela Admissible functionals in abstract structures with arbitrary power. (English) Zbl 1079.03540 God. Sofij. Univ., Fak. Mat. Inform. 87(1993), No. 1, 189-201 (1999). MSC: 03D75 PDF BibTeX XML Cite \textit{S. Nikolova}, God. Sofiĭ. Univ., Fak. Mat. Inform. 87, No. 1, 189--201 (1999; Zbl 1079.03540)
Nikolova, Stela K. \(\Pi_1^0\)-positive inductive definability on abstract structures. (English) Zbl 1079.03539 God. Sofij. Univ., Fak. Mat. Inform. 90(1996), No. 1, 91-108 (1998). MSC: 03D70 03D75 PDF BibTeX XML Cite \textit{S. K. Nikolova}, God. Sofiĭ. Univ., Fak. Mat. Inform. 90, No. 1, 91--108 (1998; Zbl 1079.03539)