PA的模型：无最小超滤子的标准系统
逻辑
2018-01-16 v3
摘要
我们证明了算术的标准模型bold N存在一个不可数的初等扩张N，使得在N中表示的bold N子集布尔代数上不存在最小超滤子（即关于N中表示的分划的Rudin-Keisler序意义下的最小性）。
引用
@article{arxiv.0901.1499,
title = {Models of PA: Standard Systems without Minimal Ultrafilters},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:0901.1499},
year = {2018}
}