M. Manzano and M. C. Moreno, “Identity, Equality, Nameability and Completeness”, B Sect Log, vol. 46, no. 3/4, pp. 169–195, Dec. 2017.