Now showing items 1-1 of 1

    • Constructing many atomic models in ℵ1 

      Baldwin, JT; Laskowski, MC; Shelah, S (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 ...