迭代树的嵌入
Embeddings of Iteration Trees
摘要：
本文，可追溯到1991年5月，包含初步的（和不可否认的）调查有关迭代树的说明。他们只对专家感兴趣。在前两节中，我定义了树迭代的支持度和嵌入的概念，例如证明了每一个树迭代都是有限树迭代的直接极限。这是一个推广模型的基本思想的迭代超幂只使用超幂。在最后一节（这是大部分的文件），我素描证明，任何树迭代可以嵌入到正常的迭代，也就是说，一个树迭代与扩展的非递减顺序的强度和严格增加临界点。
英文摘要：
This paper, dating from May 1991, contains preliminary (and unpublishable) notes on investigations about iteration trees. They will be of interest only to the specialist. In the first two sections I define notions of support and embeddings for tree iterations, proving for example that every tree iteration is a direct limit of finite tree iterations. This is a generalization to models with extenders of basic ideas of iterated ultrapowers using only ultrapowers. In the final section (which is most of the paper) I sketch a proof that any tree iteration can be embedded into a normal iteration, that is, a tree iteration with the extenders in nondecreasing order of strength and with strictly increasing critical points.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
