This paper contains portions of Baldwin’s talk at the Set Theory and Model Theory Conference and a detailed proof that in a suitable extension of ZFC, there is a complete sentence of \ that has maximal models in cardinals cofinal in the first measurable cardinal and, of course, never again.

We describe techniques for constructing models of size continuum inωsteps by simultaneously building a perfect set of enmeshed countable Henkin sets. Such models have perfect, asymptotically similar subsets. We survey applications involving Borel models, atomic models, two-cardinal transfers and models respecting various closure relations.

We study classes of atomic models \ of a countable, complete first-order theory T. We prove that if \ is not \-small, i.e., there is an atomic model N that realizes uncountably many types over \\) for some finite \ from N, then there are \ non-isomorphic atomic models of T, each of size \.