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.
No takes yet. Share an insight, caveat, or question.
Baldwin et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: