Submission date: 18 April 2013.

Abstract:

We consider an L_{\omega_1,\omega}-sentence, in a two-sorted language, for the universal cover of a connected component of a Shimura variety. We present necessary and sufficient conditions for its categoricity, in all uncountable cardinalities, in one dimensional cases.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1304.4797: pdf, ps.