Chains of saturated models in AECs
Logic
2017-04-13 v4
Abstract
We study when a union of saturated models is saturated in the framework of tame abstract elementary classes (AECs) with amalgamation. We prove: If is a tame AEC with amalgamation satisfying a natural definition of superstability (which follows from categoricity in a high-enough cardinal), then for all high-enough : * The union of an increasing chain of -saturated models is -saturated. * There exists a type-full good -frame with underlying class the saturated models of size . * There exists a unique limit model of size . Our proofs use independence calculus and a generalization of averages to this non first-order context.
Keywords
Cite
@article{arxiv.1503.08781,
title = {Chains of saturated models in AECs},
author = {Will Boney and Sebastien Vasey},
journal= {arXiv preprint arXiv:1503.08781},
year = {2017}
}
Comments
27 pages