Now showing items 1-2 of 2
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 ...