1. Davis, M., Matiyasevich, Y., Robinson, J.: Hilbert's tenth problem: Diophantine equations: positive aspects of a negative solution, Mathematical developments arising from Hilbert problems. In: Proc. Sympos. Pure Math., vol. XXVIII, Northern Illinois Univ, De Kalb, Ill (1974)
2. Amer. Math. Soc., Providence, RI, pp. 323-378 (1976)
3. Dimitrov, R.D.: Quasimaximality and principal filters isomorphism between
$\mathcal{E}^{\ast }$
and
$\mathcal{L}^{\ast }(V_{\infty })$
. Arch. Math. Logic 43, 415–424 (2004)
4. Dimitrov, R.D.: A class of
$\Sigma _{3}^{0}$
modular lattices embeddable as principal filters in
$\mathcal{L}^{\ast }(V_{\infty }) $
. Arch. Math. Logic 47(2), 111–132 (2008)
5. Dimitrov, R.D.: Cohesive powers of computable structures, Annuare De L’Universite De Sofia “St. Kliment Ohridski”. Fac. Math. and Inf., Tome 99, 193–201 (2009)