Carlson的<_1-关系在epsilon数类上
逻辑
2013-09-20 v1
摘要
基于epsilon数类，在序数中引入了另一个二元关系<^1。我们将看到我们可以轻松描述所有作为<^1见证的同构。之后我们将证明<^1的同构见证与有限序数子集（在“覆盖构造”下封闭）的<_1-关系的同构“本质相同”。最后，通过我们对<^1的理解，我们将看到<_1如何诱导更薄的kappa-club序数类：比文章“Carlson的<_1-关系在加法主序数类上”中看到的最薄序数类还要薄；实际上，我们在本文中获得的由<_1诱导的最薄序数类将以其第一个元素为Bachmann序数|ID_1|。这个事实的独立证明将在后续文章中提供。
关键词
引用
@article{arxiv.1309.4818,
title = {Carlson's <_1-relation on the class of epsilon numbers},
author = {Parménides García Cornejo},
journal= {arXiv preprint arXiv:1309.4818},
year = {2013}
}