新实数：可与之共存，亦可无之而生
逻辑
2015-09-07 v3
摘要
我们给出文献中称为“工具保持”、“情形 A”或“第一保持定理”的恰当可数支撑迭代保持定理的一个自包含证明。我们不假设力迫法添加实数。
引用
@article{arxiv.math/0505471,
title = {New reals: Can live with them, can live without them},
author = {Martin Goldstern and Jakob Kellner},
journal= {arXiv preprint arXiv:math/0505471},
year = {2015}
}
备注
(an incorrect claim following Fact 2.3 was removed)