James Loveys The Uniqueness of Envelopes in <sub>0</sub>-Categorical, <sub>0</sub>-Stable Structures. 1171-1184 1984 49 J. Symb. Log. 4 db/journals/jsyml/jsyml49.html#Loveys84