Ditchev, A. Examples of Structures Which Do Not Admit Recursive Presentations. Ann. Sofia Univ. Fac. Math. and Inf. 1993, 85, 3-11.