Categoricity of abstract classes with amalgamation
Logic
2016-09-07 v1
Abstract
Let K be an abstract elementary class with amalgamation, and Lowenheim Skolem number LS(K). We prove that for a suitable Hanf number chi_0 if chi_0 < lambda_0 <= lambda_1, and K is categorical in lambda^+_1 then it is categorical in lambda_0 .
Cite
@article{arxiv.math/9809197,
title = {Categoricity of abstract classes with amalgamation},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/9809197},
year = {2016}
}