Manzano, M.; Moreno, M. C. Identity, Equality, Nameability and Completeness. Part II. B Sect Log 2018, 47 (3), 141–158. https://doi.org/10.18778/0138-0680.47.3.01.