首页/论文/math/0603506

arXiv math/06035062006-03-21math.LO

瓦利亚理想与等价关系

Varia. Ideals and Equivalence Relations

Vladimir Kanovei

备注：: Draft
发表信息：: Borel equivalence relations: structure and classification, University Lectures series of the AMS, 2008. Monograph ISBN: 978-0-8218-4453-3

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

关于理想和等价关系的Borel约化的一些基本结果，特别是那些有较短证明的结果。这是一个尚未完成的文本。有些校样有缺失的部分和松散的结尾。kanovei@mccme.ru和vkanovei@math.uni-wuppertal.de是我的联系地址。

英文摘要：

A selection of basic results on Borel reducibility of ideals and equivalence relations, especially those with comparably short proofs. This is an unfinished text as yet. Some proofs have missing parts and loose ends. kanovei@mccme.ru and vkanovei@math.uni-wuppertal.de are my contact addresses.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

K-分拆存在性与陡理想存在性的等价性

Equivalence of the existence of K-partitions with the existence of the precipitous ideal

在本文中，我们给出了K-划分的存在性与本质上是拓扑的陡峭理想的存在性的等价性。这样我们加强了Frankiewczi和Kunen（1987）的主要结果。

2020-10-17math.LO

关于理想化等价关系的结构性结果

Structural results on idealistic equivalence relations

本文研究理想化等价关系的结构，在解析决定性下构造连续统多个不与轨道等价关系按类 Borel 同构的例子，并给出 E1 猜想早期变体的初等反例。

2025-06-09math.LO

Varia：理想和等价关系，beta版本

Varia: Ideals and Equivalence Relations, beta-version

本文给出了Borel理想和等价关系的Borel约化的一系列基本结果，特别是那些证明简短的结果.重点是一些特殊等价如$E_0, E_1, E_2, E_3, E_\infty, Z_0,$和Banach诱导等价$l_p,$的可约/不可约结果，特别是一些二分法定理。大部分的结果包括在这本书是在20世纪90年代获得的，但最近提出的一些定理，以及像罗森达尔的证明，博雷尔理想是共尾内博雷尔等价的一般形式。

2006-10-31math.LO

理想等价关系与Lusin导数

Idealistic equivalence relations and the Lusin derivative

Cornell University（康奈尔大学）；Lodz University of Technology（罗兹理工大学）

本文通过分析Lusin导数定义的树集合的Borel复杂度，证明了存在一个理想解析等价关系，其Borel类不逐类Borel同构于轨道等价关系，回答了Becker等人的问题。

2026-09-21math.LO

$I$ -小类等价关系的完满集定理

Perfect Set Theorems for Equivalence Relations with $I$ - small classes

由于Mycielski的一个经典定理指出，具有Baire性质和微薄等价类的等价关系$E$必须具有成对不等价元素的完满集。我们考虑等价关系与$I$ -小等价类，其中$I$是一个适当的$σ$ -理想，并问他们是否有一个完满集的成对不等价元素。对$E$普遍Baire给出了肯定的回答。我们发现，$E$ $\mathbf{Δ_{2}^{1}}$的答案是独立的$ZFC$，并找到集理论假设等价于它时，$I$是可数理想。对于等价关系是$\mathbf{Σ^1_2}$和微薄的类，我们表明，一个完满集的成对不等价元素存在时，科恩真正的$L[z]$存在任何真正的$z$ -这加强了Mycielski定理。对由$Π_{1}^{1}$生成的$σ$ -理想和轨道等价关系作了一些评论。

2016-05-30math.LO

小类等价关系的可测性与完满集定理

Measurability and Perfect Set Theorems for Equivalence Relations with Small Classes

我们问是否$\mathbf{Δ^1_2}$或$\mathbf{Σ^1_2}$等价关系与$I$ -小类为$I$一个$σ$ -理想必须有完美的许多类。我们表明，对于广泛的一类ccc $σ$ -理想，一个积极的回答$\mathbf{Δ^1_2}$等价关系是等价的$I$-可测性的$\mathbf{Δ^1_2}$集。然而，$\mathbf{Σ^1_2}$等价关系的类似陈述是错误的：具有贫乏类的$\mathbf{Σ^1_2}$等价关系具有成对不等价元素的完满集当且仅当$\mathbf{Δ^1_2}$集具有Baire性质。

2016-05-30math.LO

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

$F_σ$等价关系与Laver强迫

$F_σ$ equivalence relations and Laver forcing

在V.Kanovei，M. Sabok和J.Zapletal研究了Laver树上的Borel等价。本文证明了可约化为$ω$上的$F_σ$ $P$-理想所给出的$2^ω$上的等价关系的等价关系Borel可以规范化为完全等价关系或恒等关系.这有几个推论，例如银型二分法的拉沃理想和等价博雷尔约等价关系所给予的$F_σ$ $P$-理想。

2012-11-26math.COmath.LO

拓扑表示

Topological representations

本文研究了最近出现在解析等价关系遍历性结果中的理想组合学。理想具有以下拓扑表示。存在可分可度量化空间$X$，$X$上的$σ$-理想$I$和$X$的稠密可数子集$D$，使得理想由$D$的那些子集组成，这些子集的闭包属于$I$。事实证明，该定义与$D$的选择无关。我们证明了理想是这种形式的当且仅当它是稠密的和可数分离的。后者是Todor \vcevi ć引入的间隙概念的变体。作为推论，我们得到这个类在Rudin-Blass等价下是不变的.这也意味着空间$X$总是可以被选择为紧的，使得$I$是紧集的$σ$-理想。我们计算了这种理想的可能的描述复杂性，并得出结论，所有的解析等价关系诱导的理想是$\mathbfΠ^0_3$。我们还证明了一个共解析理想是这种形式的理想的交当且仅当它是弱选择的。

2013-03-05math.LO

关于大基数与广义Baire空间

On large cardinals and generalized Baire spaces

在大基数假设下，研究了固定基数$κ$上非平稳理想模限制等价关系之间的Borel约简。证明了$E^{λ^{++},λ^{++}}_{λ\text{-club}}$的相容性，证明了在$(λ^{++})^{λ^{++}}$空间中模非定常理想限制于$S^{λ^{++}}_λ$的等价关系连续可约为$E^{2,λ^{++}}_{λ^+\text{-club}}$，在$2^{λ^{++}}$空间中模非定常理想限制于$S^{λ^{++}}_{λ^+}$的等价关系.然后证明了$E^{2,κ}_{reg}$的相容性，即在$2^κ$空间中模等价于正则基数的非平稳理想的关系是$Σ_1^1$ -完备的.最后，我们证明了对于$Π_2^1$ -不可描述的$κ$，基数$κ$的稠密线性序之间的同构关系是$Σ_1^1$ -完备的。

2017-08-09math.LO

关于等价关系的Borel不可约性的一些新结果

Some new results on Borel irreducibility of equivalence relations

本文证明了一般扰动波兰作用的轨道等价关系（简称ER s）不能Borel约化为包含N的所有置换群S_ \infty的波兰作用且在模所有有限集的理想Fin的Fubini积及其他运算下闭的一族ER s.本文的第二个主要结果表明：T_2（称为“实的可数集的相等”的等价关系）不是Borel可约的，它包含了Polish CLI群的连续作用、Borel与G_δ类的等价关系、某些理想，并且在$Fin.$上的Fubini积下是封闭的。这两个结果及其推论推广了Hjorth和Kechris的一些早期的不可约性定理。

2002-03-11math.LO

所有Borel类的等价关系何时在某处为Borel？

When an Equivalence Relation with All Borel Classes will be Borel Somewhere?

在$\mathsf{ZFC}$中，如果有一个可测基数，其下有无穷多个Woodin基数，则对于$\mathbb{R}$上的每个等价关系$E \in L(\mathbb{R})$与所有$\mathbfΔ_1^1$类和$\mathbb{R}$上的每个$σ$ -理想$I$，使得$I^+$ $\mathbfΔ_1^1$子集的相关强制$\mathbb{P}_I$是适当的，存在一些$I^+$ $\mathbfΔ_1^1$集合$C$，使得$E \upharpoonright C$是$\mathbfΔ_1^1$关系等价。在$\mathsf{ZF} + \mathsf{DC} + \mathsf{AD}_\mathbb{R} + V = L(\mathscr{P}(\mathbb{R}))$中，对于$\mathbb{R}$上的每个等价关系$E$与所有$\mathbfΔ_1^1$类和每个$σ$ -$\mathbb{R}$上的理想$I$，使得相关联的强制$\mathbb{P}_I$是适当的，存在某个$I^+$ $\mathbfΔ_1^1$集合$C$，使得$E \upharpoonright C$是$\mathbfΔ_1^1$等价关系。

2016-08-17math.LO

具有Borel截的解析集的Borel标准化

Borel Canonization of Analytic Sets with Borel Sections

给定一个解析等价关系，我们倾向于怀疑它是否是波莱尔。当它是非博雷尔，总是有希望它将是博雷尔在一个“大”集-非微薄或积极的措施。这导致Kanovei，Sabok和Zapletal问是否每一个适当的$σ$理想满足以下性质：鉴于$E$解析等价关系与博雷尔类，存在一组$B$这是博雷尔和$I$ -积极的，使$E\restriction_{B}$是博雷尔。我们提出了一个相关的问题--是否每一个真$σ$理想都满足：给定$A$是具有Borel截面的平面的一个解析子集，存在一个集合$B$是Borel且$I$是正的，使得$A\cap(B\timesω^ω)$是Borel.当存在可测基数时，我们的回答是肯定的，而在$L$中，我们的回答是否定的，因为没有适当的$σ$理想具有这种性质。假设$ω_{1}$在$L$中是实数不可达的，但不是Mahlo不可达的，我们构造了一个不具有此性质的ccc $σ$理想$I$--事实上，用$I$强制将一个非Borel部分添加到一个具有Borel部分的解析集，并将一个非Borel类添加到与Borel类的解析等价关系。各种反例给出的情况下，一个$\mathbf{Δ_{2}^{1}}$等价关系，以及一个不适当的理想。

2016-05-30math.LO

投射理想上的弱Rudin-Keisler约化

Weak Rudin-Keisler reductions on projective ideals

我们考虑一个稍微修改的形式的标准Rudin-Keisler为了理想和证明存在的完整的（关于这个顺序）理想在各种投射类。使用我们的方法，我们得到了一个简单的证明Hjorth定理的存在一个完整的$\mathbf Π^1_1$等价关系。我们对Hjorth定理的证明使我们（在PD下）能够将他的结果推广到$\mathbf Π^1_{2n+1}$等价关系的类。

2014-06-18math.GRmath.LO

Borel在某处的等价关系

Equivalence Relations Which Are Borel Somewhere

将显示以下内容：设$I$是波兰空间$X$上的一个$σ$ -理想，且具有这样的性质：由$\subseteq$排序的$I^+$ Borel子集的相关强迫是一个真强迫.设E是这个Polish空间上的解析或余解析等价关系，其等价类都是Borel.如果存在某些集合的sharp，则存在$X$的$I^+$ Borel子集$C$，使得$E \upharpoonright C$是Borel等价关系。

2015-12-08math.LO