Now showing items 1-2 of 2
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 ...
Constructing many atomic models in ℵ1
(Association for Symbolic Logic, 2016-09)
We introduce the notion of pseudo-algebraicity to study atomic models of first order theories (equivalently models of a complete sentence of Lω1,ω). Theorem: Let T be any complete first-order theory in a countable language ...