Henkin constructions of models with size continuum
classification
🧮 math.LO
keywords
continuumsizemodelsatomicconstructingconstructionscustomizedgiving
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.