连续统大小模型的 Henkin 构造
逻辑
2019-04-03 v1
摘要
我们综述了在 步内构造大小为连续统的定制模型的技术，并通过给出该范畴下多数旧结果的新证明来阐明该方法。一个与 Saharon Shelah 合作的新定理是：伪极小理论具有大小为连续统的原子模型。
引用
@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}
}