English

Non-elementary categoricity and projective locally o-minimal classes

Logic 2024-05-01 v1

Abstract

Given a cover U\mathbb{U} of a family of smooth complex algebraic varieties, we associate with it a class U,\mathcal{U}, containing U\mathbb{U}, of structures locally definable in an o-minimal expansion of the reals. We prove that the class is 0\aleph_0-homogenous over submodels and stable. It follows that U\mathcal{U} is categorical in cardinality 1.\aleph_1. In the one-dimensional case we prove that a slight modification of U\mathcal{U} 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}
}
R2 v1 2026-06-24T11:42:01.862Z