实数的适定与分段适定族
逻辑
2008-01-29 v1
摘要
我引入了实数的适定（proper）与分段适定（piecewise proper）族的概念，旨在推进关于 PA 模型领域的一个开放性问题：是否每个 Scott 集都是某个 PA 模型的标准系统。一个实数族 X 被称为适定的，如果它在算术上封闭，且商布尔代数 X/fin 是一个适定的偏序集。一个族被称为分段适定的，如果它是大小 的适定族链的并集。在此，我探讨了不同基数下适定与分段适定实数族的存在性问题。
引用
@article{arxiv.0801.4368,
title = {Proper and piecewise proper families of reals},
author = {Victoria Gitman},
journal= {arXiv preprint arXiv:0801.4368},
year = {2008}
}