HENKIN CONSTRUCTIONS of MODELS with SIZE CONTINUUM
journal contributionposted on 2019-06-01, 00:00 authored by John T. Baldwin, Michael C. Laskowski
We survey the technique of constructing customized models of size continuum in omega steps and illustrate the method by giving new proofs of mostly old results within this rubric. One new theorem, which is joint with Saharon Shelah, is that a pseudominimal theory has an atomic model of size continuum.
Partially supported by Simons grant MPS-SCG 418609 Partially supported by NSF grant DMS-1308546. Both authors acknowledge the sup- port of DMS 1362974 for visits to Rutgers.
Publisher StatementCopyright @ Association for Symbolic Logic
CitationBaldwin, J. T., & Laskowski, M. C. (2019). HENKIN CONSTRUCTIONS of MODELS with SIZE CONTINUUM. Bulletin of Symbolic Logic, 25(1), 1-33. doi:10.1017/bsl.2018.2
PublisherAssociation for Symbolic Logic