Universal theories and compactly expandable models
arXiv:1705.02611 · doi:10.1017/jsl.2019.16
Abstract
Our aim is to solve a quite old question on the difference between expandability and compact expandability. Toward this, we further investigate the logic of countable cofinality.