Quasiminimal structures and excellence
Logic
2014-10-28 v3
Abstract
We show that the excellence axiom in the definition of Zilber's quasiminimal excellent classes is redundant, in that it follows from the other axioms. This substantially simplifies a number of categoricity proofs.
Keywords
Cite
@article{arxiv.1210.2008,
title = {Quasiminimal structures and excellence},
author = {Martin Bays and Bradd Hart and Tapani Hyttinen and Meeri Kesälä and Jonathan Kirby},
journal= {arXiv preprint arXiv:1210.2008},
year = {2014}
}
Comments
Detail added to proof of 5.2; publication info added