Now showing items 1-3 of 3
ALMOST GALOIS omega-STABLE CLASSES
(Association for Symbolic Logic, 2015)
Theorem. Suppose that an @0-presentable Abstract Elementary Class (AEC),K, has the joint embedding and amalgamation properties in @0 and < 2@1 models in @1. If K has only countably many models in @1, then all are small. ...
Almost galois ω-stable classes
(Association for Symbolic Logic [Society Publisher], 2015-07-22)
Iterated elementary embeddings and the model theory of infinitary logic.
(Elsevier Masson, 2016-03)
We use iterations of elementary embeddings derived from countably complete ideals on ω1 to provide a uniform proof of some classical results connecting the number of models of cardinality ℵ1 in various infinitary logics ...