Manzano, M.; Moreno, M. C. Identity, Equality, Nameability and Completeness. B Sect Log 2017, 46, 169–195.