We thank A. I. Shtern for pointing out in his review 2 that Lemma 3.2 in our paper “Globalizing locally compact local groups” 1, is incorrect. Contrary to what that review suggests, it is easy to repair this (routine) lemma so that the proof of the main result goes through. There were two errors in our text: one is that we inadvertently omitted the word “continuous” in our definition, on p. 520, of morphism of local groups. (The paper makes no sense without this requirement.) The other error is that we forgot to say that the map ι in Lemma 3.2 is injective. Here is a slightly more explicit and corrected version of that lemma and its proof:
Dries et al. (Sun,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: