Henkin constructions of models with size continuum
Logic
2019-04-03 v1
Abstract
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.
Cite
@article{arxiv.1710.00422,
title = {Henkin constructions of models with size continuum},
author = {John T. Baldwin and Michael C. Laskowski},
journal= {arXiv preprint arXiv:1710.00422},
year = {2019}
}