Non-elementary categoricity and projective locally o-minimal classes

Abstract: Given a cover

m a t h b b U

of a family of smooth complex algebraic varieties, we associate with it a class

m a t h c a l U,

containing

m a t h b b U

, of structures locally definable in an o-minimal expansion of the reals. We prove that the class is

a l e p h_{0}

-homogenous over submodels and stable. It follows that

m a t h c a l U

is categorical in cardinality

a l e p h_{1} .

In the one-dimensional case we prove that a slight modification of

m a t h c a l U

is an abstract elementary class categorical in all uncountable cardinals.

This page was built for publication: Non-elementary categoricity and projective locally o-minimal classes