Manzano, M.; Moreno, M. C. Identity, Equality, Nameability and Completeness. B Sect Log 2017, 46 (3/4), 169–195. https://doi.org/10.18778/0138-0680.46.3.4.02.