henkcontbib.pdf (428.14 kB)
HENKIN CONSTRUCTIONS of MODELS with SIZE CONTINUUM
journal contribution
posted on 2019-06-01, 00:00 authored by John T. Baldwin, Michael C. LaskowskiWe 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.
Funding
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.
History
Publisher Statement
Copyright @ Association for Symbolic LogicCitation
Baldwin, 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.2Publisher
Association for Symbolic LogicLanguage
- en_US
issn
1079-8986Issue date
2019-04-01Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC