首页/论文/1201.2148

arXiv 1201.21482012-01math.LO

序超滤子与P-层次

Ordinal ultrafilters versus P-hierarchy

Andrzej Starosolski

备注：: 19 pages

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

较早的论文，题为“P-层次上$βω$“，研究了有序超滤子和所谓的P-层次之间的关系。本文继续研究有限指标类的特征、存在性、通有存在性和Rudin-Keisler-序。

英文摘要：

An earlier paper, entitled "P-hierarchy on $βω$", investigated the relations between ordinal ultrafilters and the so-called P-hierarchy. This study is continued in the present paper and focuses on the aspects of characterization of classes of finite index, existence, generic existence and the Rudin-Keisler-order.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

几个特殊的序超滤子

A few special ordinal ultrafilters

我们证明了各种结果的概念介绍了J.鲍姆加特纳的序数超滤。特别是，我们表明，这个概念的超滤波器的复杂性是独立的更熟悉的Rudin-Keisler排序。

1995-01-26math.LO

欧几里德整数、欧几里德超滤子和欧几里德数

Euclidean integers, Euclidean ultrafilters, and Euclidean numerosities

我们公理化地引入了欧氏整数环$\bf{Z}_κ$，它可以看作是[4]中欧氏数域$\mathbb{E}$的"整数部分”，其中序指数$κ$ -整数序列的超限和被很好地定义.特别是任何序数都可以用其特征函数的transfite和来识别，保持所谓的自然运算。有序环$\bf{Z}_κ$可以获得作为一个超幂的$\mathbb{Z}$模合适的超滤子，从而构成一个\it{ring of nonstandard integers.}最相关的是\it{algebraic}表征的顺序：一个欧几里德整数是\it{positive}当且仅当它是\it{the transfinite sum of natural numbers.}这个属性需要使用特殊的超滤子称为欧几里德，在这里介绍到ths结束。环$\bf{Z}_κ$允许分配一个“欧几里德”大小（\it{numerosity}）给"序数Punktmengen”，即序数的元组的集合，作为它们的特征函数的超限和：所以每个集合都变成一个序数的集合，\it{order, addition and multiplication}的Cantorian定义被保持，而欧几里德原则"整体大于部分”（\it{a set is (strictly) larger than its proper subsets}）被满足。

2022-12-05math.LO

Baumgartner的{ \cal I}-超滤子在P-层次中能有多高？

How high can Baumgartner's {\cal I}-ultrafilters lie in the P-hierarchy?

在CH下，证明了对$ω$上的任意高理想$\cal I$和任意序数$γ\leq ω_1$，存在一个${\cal I}$ -超滤子（在Baumgartner意义下），它属于P-超滤子族的类${\cal P}_γ$.由于这类${\cal P}_2$-超滤子与一类P-点重合，我们的结果推广了Flašková的定理：存在非P-点的${\cal I}$ -超滤子.

2011-11-21math.LO

均匀性谱

Spectra of uniformity

研究了在没有选择选择公理的序数上一致超滤子的一些限制和可能出现的情形。我们证明了一个类似于埃克塞特定理的可能频谱的继任者进行均匀超滤的经常基数，我们还表明，这个频谱不一定是封闭的。

2018-07-23math.LO

稳定序并集与选择性超滤子

Stable ordered-union versus selective ultrafilters

本文证明了存在至少两个非同构的选择性超滤子且不存在稳定序并集超滤子是相容的，回答了 Blass 于 1987 年提出的相关问题。

2023-10-23math.COmath.GNmath.LO

种子订单

The seed order

我们研究了各种订单可数完全超滤序数一致，并在一个假设下，称为超幂公理wellorders。我们的主要重点是超能力公理和这些订单的线性之间的关系。

2018-10-09math.LO

更多相关论文收起更多论文

类Ramsey基数II

Ramsey-like cardinals II

本文继续研究Ramsey型大基数. Ramsey型基数是由Ramsey基数的初等嵌入的存在性所刻画的。从这样的嵌入导出的超滤子是完全可迭代的，因此很自然地会询问断言仅允许$α$的超滤子的存在的大基数概念-对于某些可数序数$α$的多次迭代。在这里，我们研究这样的$α$ -可迭代基数。我们证明了$α$ -迭代基数形成了$α\leqω_1$的严格的层次结构，它们是向下绝对的$L$为$α<ω_1^L$，和Schindler的显着的基数的一致性强度严格介于1-迭代和2-迭代基数。

2011-04-22math.LO

累积层次中的周期性

Periodicity in the cumulative hierarchy

我们研究的秩到秩的基本嵌入的结构，工作在ZF集理论没有公理的选择。回想一下，累积层次结构的级别$V_α$是通过幂集运算的迭代应用来定义的，从$V_0=\emptyset$开始，并在极限阶段取并集。假设$j:V_{α+1}\to V_{α+1}$是一个（非平凡的）基本嵌入，我们证明了$V_α$的结构与$V_{α+1}$的结构有根本不同。证明了$j$是$V_{α+1}$上的参数可定义的当且仅当$α+1$是奇序数.此外，如果$α+1$是奇数，则$j$可以从参数$j`` V_α=\{j(x)\bigm|x\in V_α\}$在$V_{α+1}$上定义，并且一致地如此。该参数是最佳的，因为$j$不能从作为$V_α$的元素的任何参数定义。在这种情况下，$α=β+1$，我们也给出了这样的$j$的超幂映射通过某些超滤子的特征。假设$λ$是一个极限序数，我们证明了，如果$j:V_λ\to V_λ$是$Σ_1$ -elementary，那么$j$是不可定义的$V_λ$从参数，如果$β<λ$和$j:V_β\to V_λ$是完全小学和$\in$ -共尾，那么$j$同样是不可定义的;请注意，这最后一个结果是相关的嵌入的一致性强度低得多的秩到秩。如果存在莱因哈特基数，那么对于所有足够大的序数$α$，确实存在初等$j:V_α\to V_α$，因此累积层次最终是周期的（周期为2）。

2020-11-15math.LO