A uniqueness theorem for iterations
A uniqueness theorem for iterations
复制标题
迭代的唯一性定理
DOI：
10.2178/jsl/1190150288
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
Paul B. Larson
中科院分区：
文献类型：
--
作者：
Paul B. Larson
若M是的可数传递模型，则对每个真实的x，存在唯一的最短迭代j：M → N，x ∈ N，或根本没有。
Abstract If M is a countable transitive model of , then for every real x there is a unique shortest iteration j: M → N with x ∈ N, or none at all.