首页/论文/0901.1499

arXiv 0901.14992009-01math.LO

PA的模型：不含极小超滤子的标准系统

Models of PA: Standard Systems without Minimal Ultrafilters

Saharon Shelah

发表信息：: Sarajevo J. Math. 14(27) No. 1 (2018) 3--11

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们证明，粗体N，算术的标准模型，有一个不可数的基本扩展N，这样就没有超滤子的布尔代数的子集表示在N中的粗体N是最小的（即在Rudin-Keisler顺序表示在N中的分区）。

英文摘要：

We prove that bold N, the standard model of arithmetic, has an uncountable elementary extension N such that there is no ultrafilter on the Boolean Algebra of subsets of bold N represented in N which is minimal (i.e. as in Rudin-Keisler order for partitions represented in N).

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

极小幂等超滤子与Auslander-Ellis定理

Minimal idempotent ultrafilters and the Auslander-Ellis theorem

利用Auslander-Ellis定理及其变形，以逆数学和高阶逆数学的形式刻画了N上极小幂等超滤子的存在性.我们得到了限制于可数集代数的极小幂等超滤子的存在性等价于Auslander-Ellis定理（AET），并且作为高阶对象的极小幂等超滤子的存在性在AET的加细上是$Π^1_2$ -保守的.

2015-10-09math.LO

关于标准系统和超滤子的注记

A note on standard systems and ultrafilters

设$(M,\scott X) \models \ACA$使得$P_\scott X$，即$\scott X$中所有无界集的集合，允许一个可定义的完全超滤子，并设$T$是在$\scott X$中编码的一阶算术的理论扩展，使得$M$认为$T$是相容的。证明了$M$存在一个末端扩展$N \models T$，使得$M$在$N$中的子集与在$\scott X$中的子集完全相同.作为特殊情况，我们得到了任何具有可定义的超滤子的Scott集编码相容理论$T$扩展一阶算术是$T$递归饱和模型的标准系统.

2008-04-25math.LO

将最小超滤器分解为厚部分和联合部分

Factoring a minimal ultrafilter into a thick part and a syndetic part

设$S$是一个无限离散半群. $S$上的运算唯一地推广到Stone-Čech紧化$βS$上，使得$βS$是一个紧右拓扑半群，其拓扑中心包含$S$.因此，$βS$有一个最小的双侧理想$K(βS)$。$S$上的超滤器$p$是\emph{minimal}当且仅当$p \in K(βS)$。我们发现，任何最小的超滤$p$因素到一个厚的部分和一个syndetic部分。也就是说，存在过滤器$\mathcal F$和$\mathcal G$，使得$\mathcal F$仅由厚集组成，$\mathcal G$仅由联会集组成，并且$p$是包含$\mathcal F \cup \mathcal G$的唯一超过滤器。设$L = \widehat{\mathcal F}$和$C = \widehat{\mathcal G}$分别为包含$\mathcal F$和$\mathcal G$的超滤子集，我们得到：$L$是$βS$的极小左理想，$C$与$βS$的每个极小左理想恰好在一点上相遇，并且$L \cap C = \{p\}$ .我们进一步表明，$K(βS)$可以划分成相对封闭的集合，其中每个满足每个最小左理想在一个点。对于$S$的一些弱消去假设，我们还得到对于每个极小超滤子$p$，$S^* \setminus \{p\}$不是正规的。特别地，如果$p$是不相交集合$K(β\mathbb N , +)$或$K…

2018-05-18math.GNmath.LOmath.RA

具有选择超滤子的超有理数模型

On The Model Of Hyperrational Numbers With Selective Ultrafilter

在超有理数的标准构造中，我们假设超滤子是选择性的。它使得赋予任何有限超有理数实值成为可能。因此，我们可以把具有选择超滤子的超有理数看作是传统实数的推广。证明了任意超有理数的严格单调或平稳表示序列的存在性。

2020-04-02math.LO

实分析中的滤子和超滤子

Filters and Ultrafilters in Real Analysis

研究了自然数集合上的自由滤子及其极大扩张。我们用Frechet滤子刻画了实数序列的极限，它只涉及一个量词，而不是通常定义中的三个不可交换量词。构造了实非标准数域，并研究了它们的性质。我们用非标准数刻画了实数序列的极限，也只需要一个量词。我们试图指出，过滤器和/或非标准数的参与导致量词的数量减少，因此，简化，与更传统的极限定义相比，在实分析中。

2012-12-22math.LO

后继基数上的超滤与Tukey序

Ultrafilters over Successor Cardinals and the Tukey Order

该研究聚焦正则不可数基数（尤其$\omega_1$）上的超滤与Tukey序，证明了相关断言的ZFC独立性，给出新型超滤构造，分析了特定公理下超滤的序性质并得到多个相关结果。

2025-07-30math.LO

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

一致超滤子中的理想与幂等元

Ideals and idempotents in the uniform ultrafilters

如果$S$是离散半群，则$βS$有一个自然的左拓扑半群结构，它扩展了$S$。在一些非常温和的条件下，$S$上的一致超滤子集$U(S)$是$βS$的双边理想，因此包含它的所有极小左理想和极小幂等元。我们发现了一些非常一般的条件下，$U(S)$包含素极小左理想和左极大幂等元。如果$S$是可数的，则$U(S) = S^*$，并且我们的主要定理的特殊情况是，如果一个可数离散半群$S$是弱可消的和左可消的，则$S^*$包含素极小左理想和左极大幂等元。我们将给出这些结论不成立的弱可消半群的例子，从而表明这个结果是尖锐的。

2015-05-08math.GNmath.LOmath.RA

在Coq中对滤子扩张原理（FEP）的形式化

Formalization of the Filter Extension Principle (FEP) in Coq

本研究基于公理集合论，使用Coq证明助手完成了滤子扩张原理的形式化验证，规范了相关概念并验证了所有相关定理与命题，为非标准分析及特定实数理论的形式化铺路。

2024-07-05math.LO

高维Ellentuck空间与非p点Tukey结构中的初始链

High dimensional Ellentuck spaces and initial chains in the Tukey structure of non-p-points

由$\mathcal{P}(ω\timesω)/($ Fin（$\otimes$ Fin）强迫的一般超滤子$\mathcal{G}_2$最近被证明在超滤子的Tukey阶中既不是最大值也不是最小值（在Blass、Dobrinen和Raghavan的最近一篇论文中），但它在Tukey阶中的确切位置是开放的。证明了$\mathcal{G}_2$在其投影Ramsey超滤子上实际上是Tukey极小的.此外，我们证明了，对于每个$k\ge 2$，所有非主超滤子Tukey可约化的通用超滤子$\mathcal{G}_k$迫使$\mathcal{P}(ω^k)/$鳍$^{\otimes k}$形成一个链的长度$k$。证明的关键是从（Fin $^{\otimes k})^+$）中抽取一个稠密子集$\mathcal{E}_k$，我们证明它是一个拓扑Ramsey空间.空间$\mathcal{E}_k$、$k\ge 2$构成了高维Ellentuck空间的一个谱系。证明了$\mathcal{E}_k$上前沿等价关系的新Ramsey分类定理，推广了Ellentuck空间上前沿的Pudlak-Rodl定理，并将其应用于寻找$\mathcal{G}_k$下的Tukey结构.

2014-06-05math.LO

拉姆齐定理、欣德曼定理和黑尔斯 - 朱厄特定理的同时扩展

A simultaneous extension of Ramsey, Hindman, and Hales-Jewett Theorems

研究证明强黑尔斯 - 朱厄特定理的多维扩展，该扩展同时涵盖拉姆齐定理和欣德曼定理。核心方法是基于迭代非标准扩展技术，此技术论证无需最小或幂等超滤子，还能转化为仅需非主超滤子的证明。

2026-07-28math.COmath.LO

一个具有$L$-正交序列但无$L$-正交元的Banach空间

A Banach space with $L$-orthogonal sequences but without $L$-orthogonal elements

该研究证明具有$L$-正交序列但无$L$-正交元的Banach空间的存在性独立于ZFC，解决了相关公开问题，还通过推广$Q$-点超滤子提出$Q$-测度概念并得到相关推广结果。

2025-01-11math.FAmath.LO

具有标准零件图的O-极小域

O-minimal fields with standard part map

设R是O-极小域，V是具有剩余域k和标准部分（剩余）映射st的真凸子环：V \to k.设k_{ind}是k通过R中可定义关系的标准部分的展开。本文研究了k_{ind}中的可定义集和（R，V）上蕴含k_{ind}的o-极小性的条件.我们还证明了，如果R是Ω饱和的，V是R中有理数的凸包，那么在k_{ind}中可定义的集合恰好是在（R，V）中可定义的集合的标准部分.

2009-01-15math.LO

基于标准零件图的O-极小域三角剖分

Triangulation in o-minimal fields with standard part map

在回答arXiv：0901.2337v1的问题时，我们证明了一个独立感兴趣的三角测量结果。更详细地说，设R是一个具有真凸子环V的o-极小域，并且设st：V \to k是相应的标准部分映射.在对（R，V）的一个温和的假设下，我们证明了V^n的可定义子集X允许一个三角剖分，该三角剖分导致其标准部分st（X）的三角剖分。

2009-01-15math.LO

非标准分析作为函子、局部、迭代

Non Standard Analysis as a Functor, as Local, as Iterated

本说明有几个目的。首先，它将非标准分析描述为一个函子，即一个将任何集合A映射到其非标准元的集合 *A的函子 *。这个函子，从集范畴到它自身，被假定为在有限集合的满子范畴到它自身上的等价，并且保持有限的投射极限（等价地，保持有限的乘积和均衡器）。其次，“局部”非标准分析被引入作为一种结构，我称之为lim-rim，特别是精确lim-rims。这些之间的相互作用，和超过滤器和ultrapowers，也基数关系和概念取决于基数，如饱和度和我所谓的“禁闭”和“精确度”，进行了研究。特别是，人们构建非标准的分析，与“好”种lim-rims。在这些人可以说，*A -“所有可能的限制从A的附加”-发挥类似的作用，代数闭包的领域-“的附加所有根的多项式”。然后，在与后者相同的精神下，只要有足够的一般连续统假设，就有直到同构的唯一性，也有普遍性和同质性。*A的基数将类似于$2^{2^{|A|}}$，并且具有高饱和度。此外，我们注意到函子 * 可以再次应用于 *A，给出 **A，*A，等等。特别是，我专注于 *A到 **A的两种不同的嵌入，并证明了它们的一些性质，以及一些应用。

2016-01-04math.CTmath.LO