Key points are not available for this paper at this time.
We sketch the mathematical back ground and the main ideas in the proofs of categoricity of theories of several examples of universal covers -reducing an analytic to a model theoretic (discrete) description.We hope this discussion will be useful to a wide spectrum of mathematicians ranging from those working in geometry to those working in logic; specifically, model theory.
Baldwin et al. (Fri,) studied this question.