THE KETONEN ORDER
THE KETONEN ORDER
复制标题
酮宁令
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
G. Goldberg
中科院分区：
文献类型：
--
作者：
G. Goldberg
本文研究了Ketonen [2]引入的可数完备超滤子上的一个偏序，它是Mitchell序的推广。我们的主要结果是：Ketonen阶是有根据的;它的线性等价于作者在论文[1]中介绍的超幂公理;最后，在超幂公理的假设下，Ketonen阶与广义描述集合论意义下的Lipschitz约化是一致的。
Abstract We study a partial order on countably complete ultrafilters introduced by Ketonen [2] as a generalization of the Mitchell order. The following are our main results: the order is wellfounded; its linearity is equivalent to the Ultrapower Axiom, a principle introduced in the author’s dissertation [1]; finally, assuming the Ultrapower Axiom, the Ketonen order coincides with Lipschitz reducibility in the sense of generalized descriptive set theory.