Simple-like independence relations in abstract elementary classes
Logic
2021-02-24 v4
Abstract
We introduce and study simple and supersimple independence relations in the context of AECs with a monster model. : Let be an AEC with a monster model. - If has a simple independence relation, then does not have the 2-tree property. - If has a simple independence relation with -witness property, then does not have the tree property. The proof of both facts is done by finding cardinal bounds to classes of small Galois-types over a fixed model that are inconsistent for large subsets. We think this finer way of counting types is an interesting notion in itself. We characterize supersimple independence relations by finiteness of the Lascar rank under locality assumptions on the independence relation.
Cite
@article{arxiv.2003.02705,
title = {Simple-like independence relations in abstract elementary classes},
author = {Rami Grossberg and Marcos Mazari-Armida},
journal= {arXiv preprint arXiv:2003.02705},
year = {2021}
}
Comments
27 pages