arXiv 0912.25912009-12math.LO

简单理论的模型论Baire范畴定理

A model theoretic Baire category theorem for simple theories

Ziv Shami

摘要：

证明了在可列简单理论中关于$\tildeτ_{low}^f$ -集的模型论Baire范畴定理，其中扩张性质是一阶的，并给出了它的一些应用.我们还证明了可数nfcp理论中的极小类型的一个可分性：要么每一个类型是内部的极小类型基本上是1-为基础的分叉拓扑或$T$解释一个无限的可定义的1-为基础的有限$D$ -秩或$T$解释一个强极小公式。

英文摘要：

We prove a model theoretic Baire category theorem for $\tildeτ_{low}^f$-sets in a countable simple theory in which the extension property is first-order and show some of its applications. We also prove a trichotomy for minimal types in countable nfcp theories: either every type that is internal in a minimal type is essentially-1-based by means of the forking topology or $T$ interprets an infinite definable 1-based group of finite $D$-rank or $T$ interprets a strongly-minimal formula.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

Baire范畴定理的一个类比

An analogue of the Baire Category Theorem

序域的每一个可定义完全展开都满足Baire范畴定理的一个类似定理。

2012-05-23math.LO

一种关于贝西科维奇定理和测度正则性的贝尔纲方法

A Baire Category Approach to Besicovitch's Theorem and Measure Regularity

Penn State University（宾夕法尼亚州立大学）

通过将经典证明重构为贝尔纲论证，证明贝西科维奇定理在$\mathsf{ACA}_0$中可证且见证子集可从原集的一次跳跃计算得出，还表明$\mathsf{BCTC}$与$\mathsf{ACA}_0$等价，并研究其对闭集上一类单调函数的影响。

2026-07-07math.LO

单调集的Baire范畴

Baire Category for Monotone Sets

本文研究了2 ^Ω的子集的Baire范畴，这些子集关于几乎包含序是下闭的（在自然数的幂集上，用2 ^Ω标识）。我们表明，它的行为更好地在这种情况下比一般子集的2 ^Ω。在下闭的上下文中，贫乏集的理想是素数和b-完全的（其中b是边界数），而互补滤子是g-完全的（其中g是分组密度基数）。我们还讨论了这个理想和这个过滤器的其他基本特征，我们证明了类似的结果在ZFC的范畴的地方测量是不可证明的。

1994-05-20math.LO

省略类型与Baire范畴定理

Omitting Types and the Baire Category Theorem

模型论中的省略类型定理和拓扑学中的Baire范畴定理是紧密联系在一起的。我们研究这两个定理之间的精确关系。工作的一般概念的逻辑，我们表明，经典的省略型定理成立的逻辑，如果一个特定的相关拓扑空间的所有封闭的子空间Baire。我们还考虑更强的Baire类别条件，因此更强的省略类型定理，包括一个游戏版本。我们使用的例子，以前研究的空间集理论的拓扑产生抽象逻辑表明，游戏省略类型的声明是一贯不等同于经典的。

2017-10-16math.GNmath.LO

关于Baire范畴定理的计算性质

On the computational properties of the Baire Category Theorem

可计算性理论是计算机科学和数理逻辑交叉的一门学科，其基本问题是：给定两个数学对象X和Y，X原则上是否计算Y？在X和Y是实数的情况下，图灵著名的“机器”模型为这个问题提供了“计算”的标准解释。为了将涉及（全部）抽象对象的计算形式化，Kleene引入了他的S1-S9计算方案。反过来，达格·诺曼和作者介绍了一个包含不动点算子的lambda演算版本，它可以精确地捕获S1-S9并容纳部分对象。在本文中，我们使用这个新模型来发展Baire和Volterra的各种著名定理及其相关结果的可计算性理论;这些定理只需要基本的数学概念，如连续性，开集和密度。我们表明，这些定理由于Baire和Volterra是计算等价的，从我们的新模型的角度来看，有时工作在相当驯服的片段Goedel的T。

2022-10-11math.LO

波兰拓扑向量空间$H(X,S,μ)$中的Solovay模型及测度与Baire范畴的对偶原理

Solovay model and duality principle between the measure and the Baire category in a Polish topological vector space $H(X,S,μ)$

在Solovay模型中，证明了测度与Baire范畴之间的对偶原理对于“向量函数的任意广义积分的定义域是第一范畴”这句话成立. "

2015-10-27math.CAmath.LO

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

Baire范畴定理的广群表述

A groupoid formulation of the Baire Category Theorem

证明了Baire范畴定理等价于：设G是拓扑广群，使得单位空间是完全度量空间，且存在G的可数邻域对分覆盖.如果G是有效的，则G是拓扑主的。

2012-09-12math.GNmath.LOmath.OA

Souslin假设与范畴收敛

Souslin's Hypothesis and Convergence in Category

从Baire空间X到实数的函数序列f_n：X -> R称为在范畴内收敛当且仅当每个子序列都有一个子序列在除贫乏集外的所有集上收敛。证明了如果存在一棵Souslin树，则存在一个非原子Baire空间X，使得每一个在范畴内收敛的序列处处收敛于一个Comager集.这回答了Wagner和Wilczynski的问题，可测函数序列的收敛，Acta Math Acad Sci Hung 36（1980），125-128。

1994-11-01math.LO

关于Baire范畴定理的一致计算内容

On the Uniform Computational Content of the Baire Category Theorem

我们研究了Weihrauch格上Baire范畴定理不同版本的统一计算内容。Baire范畴定理可以被看作是一个鸽子洞原理，它指出一个完整的（即，“大”）度量空间不能被分解成可数个无处稠密（即，“小”）块。贝尔范畴定理是一个很有启发性的例子，它可以用来证明一个经典定理可以有几种不同的计算解释。首先，我们区分两个不同的逻辑版本的定理，其中一个可以被看作是另一个的对位形式。第一个版本的目标是在给定一个无处稠密的闭集序列的情况下，在空间中找到一个未覆盖的点。第二个版本的目标是找到一个闭集的指数，这是密集的地方，给定一个序列的闭集，覆盖空间。尽管这两个版本背后的陈述在经典逻辑中是等价的，但它们在直觉主义逻辑中并不等价，同样它们在Weihrauch格中表现出不同的计算行为。除了这种逻辑上的区别，我们还考虑了闭集序列如何被“给定”的不同方式。本质上，我们可以区分闭集上的正面和负面信息。我们讨论所有四个版本的Baire类别定理。有些令人惊讶的是，提供输入信息的差异也可以用跳转操作来表示。最后，我们还涉及到Baire范畴定理的一般性和可计算comeager集的概念。

2016-08-24cs.LOmath.LO

Baire范畴论与$\mathbb{Q}$中的Hilbert第十问题

Baire category theory and Hilbert's Tenth Problem inside $\mathbb{Q}$

对于环R，希尔伯特第十问题HTP（R）是R上的多变量多项式方程的集合，其解在R中。我们考虑这一套的子环R的有理数的可计算性。将Baire范畴论应用于这些自然形成拓扑空间的子环，将它们的集合HTP（R）与集合HTP（$\mathbb{Q}$）联系起来，HTP（$\mathbb{Q}$）的可判定性仍然是一个悬而未决的问题。主要结果是：对于任意集合C，HTP（$\mathbb{Q}$）计算C当且仅当HTP（R）计算C的子环R形成一个非贫乏类.类似的结果也适用于1-约化，用于承认$\mathbb{Z}$的丢番图模型，以及$\mathbb{Z}$的存在可定义性。

2016-02-10math.LOmath.NT

反向数学中的大：测度与范畴

Big in Reverse Mathematics: measure and category

Department of Philosophy II, RUB Bochum（鲁尔大学波鸿分校哲学系二）

本文研究了反向数学中测度和范畴定理的等价性，揭示了通过限制条件使这些定理在反向数学五大系统中可证明的机制。

2023-09-07math.LO

奇异基数上的拓扑与范畴

Topology and category for singular product spaces

Kobe University（神户大学）；Technische Universität Wien（维也纳工业大学）

研究奇异基数下的高阶巴依尔和康托空间的拓扑性质及基数特征，探讨κ-渺小理想的相关性质。

2026-06-12math.GNmath.LO

特拉斯的费弗曼型模型中的理想、良序族与贝尔范畴

Ideals, Well-Orderable Families, and Baire Category in Truss's Feferman-Type Model

在ZF集合论下证明BCT_WO与RS_WO等价，在特拉斯的费弗曼型模型中二者刻画了2^ω的子集性质，研究该模型中2^ω的良序子集理想，得出其与相关拓扑性质的等价关系及该模型的其他结论。

2026-08-25math.LO

Borel和Baire范畴中可数群作用的有限生成元

Finite generators for countable group actions in the Borel and Baire category settings

对于可数离散群$G$在波兰空间$X$上的连续作用，如果$G \cdot P := \{ gC : g \in G, C \in P \}$生成$X$的Borel $σ$ -代数，则称$X$的可数Borel分拆$P$为生成元.对于$G = Z$，Kolmogorov-Sinai定理给出了有限生成元存在的测度论障碍：它们不存在于具有无穷熵的不变概率测度中。80年代末，本杰明·韦斯（Benjamin Weiss）提出了一个问题：不存在任何不变的概率测度是否保证了有限生成元的存在。我们证明了对于任意可数群$G$和$σ$ -紧$X$（特别是对于局部紧$X$），答案是肯定的（事实上，存在32-生成元）。我们还表明，任何连续的非周期作用的$G$的任意波兰空间承认一个4-发电机上的comeager集，从而给出了一个肯定的答案亚历山大Kechris问在90年代中期。此外，假设一个肯定的答案Weiss的问题，任意波兰空间和$G = Z$，我们证明了以下二分法：每个非周期Borel作用的$Z$波兰空间$X$承认要么不变的概率测度的无穷熵或有限的生成元。作为一个辅助引理，我们证明了以下陈述，这可能是独立的兴趣：波兰空间$X$上的可数群$G$的每个非周期Borel作用允许$G$ -等变Borel映射到$2^G$上的$G$移位作用的非周期部分。我们还得到了其它一些相关结果，其中之一是$Z$的连续作用不存在非贫…

2014-11-11math.DSmath.LO

广义Baire空间的二分法与不可数基数上的初等可嵌入性

A dichotomy theorem for the generalized Baire space and elementary embeddability at uncountable cardinals

我们考虑$κ$的广义Baire空间的解析子集上的$Σ^0_2$有限关系$R$的以下二分法：或者所有的$R$ -独立集的大小至多为$κ$，或者存在一个$κ$ -完全$R$ -独立集.这个二分法是（W. Kubietan，Proc. Amer. Math. Soc. 131（2003），no2.：619- 623）和（S. Shelah，Fund.Math.159（1999），no.1：1- 50）。我们证明了上述陈述成立假设$\Diamond_κ$和集合理论假设$I^-(κ)$，这是修改的假设$I(κ)$适合极限基数。当$κ$不可访问时，或者当$R$是封闭二元关系时，不需要假设$\Diamond_κ$。作为推论，我们得到了G. Sági和第一作者（日志。J. IGPL 20（2012），no.6：1064- 1082），关于当被认为是${}^κκ$的$K_κ$子集的元素的同构或基本可嵌入性时，$Σ^1_1(L_{κ^+κ})$语句的$κ$大小的模型。初等嵌入的作用可以由更一般的概念代替，该概念还包括嵌入，以及为$ω\leqμ\leqλ\leqκ$保留$L_{λμ}$的映射和这些逻辑的有限变量片段。

2016-09-15math.LO

围绕$\mathsf{ATR}_0$的原理之间的一些可计算性理论约简

Some computability-theoretic reductions between principles around $\mathsf{ATR}_0$

从可计算性理论约简的角度，特别是Weihrauch约简的角度，研究了围绕算术超限递归（$\mathsf{ATR}_0$）的具有逆向数学强度的各种定理的计算内容.我们的第一个主要结果表明，在两个给定的良序之间构造一个嵌入是同样困难的，因为它是在一个给定的良序上构造一个图灵跳跃层次。这回答了Marcone的一个问题。我们得到了一个类似的结果Fraïssé猜想限制到良序。然后，我们把注意力转向柯尼希的对偶定理，推广柯尼希定理的匹配和覆盖到无限的二部图。我们的第二个主要结果表明，构造给定二部图的König覆盖的问题大致与上述跳跃层次问题的以下"双边"版本一样困难：给定线性序$L$，在$L$上构造跳跃层次（可能是伪层次），或者构造无限$L$-降序序列。我们还得到了几个结果与上述问题的选择Baire空间（选择一个路径上的一个给定的病态树）和唯一的选择Baire空间（给定一个树的唯一路径，产生说的路径）。

2019-05-16math.LO

保持拓扑性质的真偏序集上的力迫公理：一致性结果

Forcing Axioms for Proper Posets Preserving a Topological Property: Consistency Results

本文引入两个关于保持 Lindelöf 与可数紧致性质的真偏序集的力迫公理，并用 Neeman 侧条件迭代证明其一致性。

2025-02-04math.LO

湍流和Araki-Woods因子

Turbulence and Araki-Woods factors

使用Baire类别技术，我们证明了Araki-Woods因素是不可分类的可数结构。其结果是，我们得到了一个深远的加强，以及著名的伍兹定理，ITPFI因子的同构问题是不光滑的一个新的证明。作为结果，我们导出了保持有限非原子积测度的测度类的Z的里程计作用不可由可数结构分类到轨道等价。

2009-12-16math.LOmath.OA

连续统的简单基数特征

Simple Cardinal Characteristics of the Continuum

在描述集合论的意义上，我们根据定义的复杂性对连续统的许多基本特征进行分类。最简单的特征（黑体字Sigma^0_2和适当限制下的Pi^0_2）被证明具有与Baire范畴相关的令人愉快的性质。我们构建了集合论的模型，其中（无限制的）黑体Pi^0_2-特征表现得相当混乱，并且在更高的复杂性水平上没有新的特征出现。我们还讨论了一些特点与分区定理，我们提出，在附录中，一个简化的证明谢拉定理的支配数是小于或等于独立数。

1994-05-20math.LO

阿贝尔群的通用同构类

Generic isomorphism classes of abelian groups

本文证明了万有螺线管是贝尔范畴意义下通用的连通紧致可度量化阿贝尔群，并通过对偶得到$(\mathbb{Q},+)$是通用的可数无限无挠阿贝尔群。

2025-07-02math.GNmath.GRmath.LO

描述集合论与强迫论如何用硬方法证明Borel集合定理

Descriptive set theory and forcing; How to prove theorems about Borel sets the hard way

这些是我1993年春季学期在威斯康星大学所讲的一门课的讲义。第1部分关注Borel层次结构。第13节包含一个未发表的定理Fremlin关于Borel层次和MA。第14节和第15节包含了关于Cohen和随机实模型中Borel层次结构长度的新结果。第2部分包含标准结果的理论分析集。第25节包含Harrington定理，即任意基数的$Π^1_2$集是相容的。第3部分是通常的分离定理。第四部分给出了Gandy强迫的一些应用。我们扭转了通常的趋势，并使用强制参数，而不是Baire类别。特别地，关于$Π^0_α$ hyp-sets的Louveau定理有一个更简单的使用强迫的证明。

1994-01-06math.LO