This paper generalizes the first-order fact that, in nice enough theories, the union of \lambda-saturated models are \lambda-saturated to AECs. Two main methods are used: independence relations and averages of types.
This paper generalizes the first-order fact that, in nice enough theories, the union of \lambda-saturated models are \lambda-saturated to AECs. Two main methods are used: independence relations and averages of types.