无端扩展的N的扩张模型
逻辑
2010-06-08 v2
摘要
我们处理皮亚诺算术的模型（具体涉及Ali Enayat的一个问题）。方法来自creature forcing。我们找到了N的一个扩张，使得其理论存在没有（初等）端扩展的模型。事实上，存在一个不可数的Borel子集，使得用其中任意不可数多个子集扩张N即可实现。我们还找到了一个算术封闭的集合A，其上不存在可定义闭超滤子。
引用
@article{arxiv.0808.2960,
title = {Models of expansions of N with no end extensions},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:0808.2960},
year = {2010}
}