Nikolova, S. 1998. $\prod_{1}^{0}$-POSITIVE INDUCTIVE DEFINABILITY ON ABSTRACT STRUCTURES. Ann. Sofia Univ. Fac. Math. and Inf. 90, (Dec. 1998), 91–108.