Non-elementary categoricity and projective locally o-minimal classes
Logic
2024-05-01 v1
Abstract
Given a cover of a family of smooth complex algebraic varieties, we associate with it a class containing , of structures locally definable in an o-minimal expansion of the reals. We prove that the class is -homogenous over submodels and stable. It follows that is categorical in cardinality In the one-dimensional case we prove that a slight modification of is an abstract elementary class categorical in all uncountable cardinals.
Keywords
Cite
@article{arxiv.2206.03279,
title = {Non-elementary categoricity and projective locally o-minimal classes},
author = {Boris Zilber},
journal= {arXiv preprint arXiv:2206.03279},
year = {2024}
}