ds（alpha）上的n位函数的一致化
Uniforming n-place functions on ds(alpha)
摘要：
本文将Erdos-Rado定理推广到良基树类。
英文摘要：
In this paper the Erdos-Rado theorem is generalized to the class of well founded trees.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
T \subseteq ds（α）上的一致n位函数
Uniform n-place functions on T\subseteq ds(α)
本文将Erdos-Rado定理推广到良基树类。我们定义了类rs（infty）^{< aleph_0}（序数递减序列的有限序列）与aleph_0等价类的等价关系，并对n< omega定义了rs（infty）^{< aleph_0}的mu色着色的n端一致性概念.然后我们证明了对于每个序数alpha，n< omega和基数mu，存在一个序数lambda，使得对于T=rs（lambda）^{< aleph_0}的任何带有mu颜色的着色c，T包含与rs（alpha）同构的S，使得c rest S^{< aleph_0}是n端一致的。对于定义域T^n的c，这等价于找到同构于rs（alpha）的S子集T，使得c upharpoonright S^{n}仅依赖于所定义关系的等价类，因此特别是T->（rs（alpha））^ n_{mu, aleph_0}。我们还得出了一个结论，着色的n-元组从一个分散的线性秩序。
math.COmath.LO
可计算性理论家的凡勃伦函数
The Veblen functions for computability theorists
我们研究了以下陈述的可计算性理论复杂度和证明理论强度：（1）“如果X是良序，那么φ_X也是良序”，和（2）“如果X是良序，那么φ（alpha，X）也是良序"，其中alpha是固定的可计算序数，φ是两个位置的Veblen函数。对于前一个命题，我们证明了图灵跳跃的Ω迭代在证明中是必要的，并且该命题等价于RCA_0上的ACA_0^+。为了证明后一个陈述，我们需要使用图灵跳跃的omega^alpha迭代，并且我们证明了该陈述等价于Pi^0_{omega^alpha}-CA_0。我们的证明是纯粹的计算理论。我们还对Friedman的一个结果给出了新的证明：“如果X是良序，那么phi（X，0）也是良序”等价于ATR_0 over RCA_0.
math.LO
关于Kappa-Resplant模型的谱
On Spectrum of kappa-Resplendent Models
我们证明了一些自然的“外”属性是等价的（一阶类）是稳定的。对于一个模型来说，璀璨是对卡帕饱和的强化。将我们自己限制在透明的情况kappa > |T|，模型M是kappa-辉煌的意思是：当我们将M扩展<kappa单个常数（c_i：i < alpha）时，如果（M，c_i）_ {i<alpha}具有可扩展为T'的模型的基本扩展，其中Th（（M，c_i）_{i<alpha}）subseteq T'，|T'|< kappa则（M，c_i）_{i<α}已经可以扩展到T '的模型。平凡地，基数λ的任何饱和模型都是λ-辉煌的。我们问：基数λ的（一阶完备）理论T的卡帕辉煌模型是如何存在的？自然地，我们将自己限制为基数lambda=lambda^ kappa + 2^ { |T| }。然后我们得到了一个完整而令人满意的答案：这仅仅取决于T是稳定的还是不稳定的。在这种情况下，证明对于稳定的T，我们得到的很少，并不难;事实上，T的每一个辉煌的模型都是饱和的，因此由它的基数直到同构决定。逆函数的问题更大，因为我们必须使用带有任意alpha<kappa位置的Skolem函数。通常我们使用相关的划分定理（拉姆齐定理或Erdens-Rado定理），但在我们的情况下，相关的划分定理失败了，所以我们必须小心。
math.LO
