arXiv math/96102071996-10-25math.LO

On disjoint Borel uniformizations

Howard Becker, Randall Dougherty

发表信息：: Advances in Mathematics Volume 146, Issue 2, 25 September 1999, Pages 167-174
DOI：: 10.1006/aima.1999.1829

英文摘要：

Larman showed that any closed subset of the plane with uncountable vertical cross-sections has aleph_1 disjoint Borel uniformizing sets. Here we show that Larman's result is best possible: there exist closed sets with uncountable cross-sections which do not have more than aleph_1 disjoint Borel uniformizations, even if the continuum is much larger than aleph_1. This negatively answers some questions of Mauldin. The proof is based on a result of Stern, stating that certain Borel sets cannot be written as a small union of low-level Borel sets. The proof of the latter result uses Steel's method of forcing with tagged trees; a full presentation of this method, written in terms of Baire category rather than forcing, is given here.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

不变均匀化

Invariant uniformization

本文研究描述集合论中Borel均匀化的不变版本，证明对Borel等价关系E，所有具有小或大截面的E-不变Borel集存在E-不变Borel均匀化当且仅当E光滑，并给出Miller二分法的新证明及反例复杂性分析。

2026-09-22math.LO

Borel-piecewise continuous reducibility for uniformization problems

We study a fine hierarchy of Borel-piecewise continuous functions, especially, between closed-piecewise continuity and $G_δ$-piecewise continuity. Our aim is to understand how a priority argument in computability theory is connected to the notion of $G_δ$-piecewise continuity, and then we utilize this connection to obtain separation results on subclasses of $G_δ$-piecewise continuous reductions for uniformization problems on set-valued functions with compact graphs. This method is also applicable for separating various non-constructive principles in the Weihrauch lattice.

2016-10-17cs.LOmath.LO

Disjoint Borel Functions

For each $a \in \mathbb{R}$, we define a Borel function $f_a : \mathbb{R} \to \mathbb{R}$ which encodes $a$ in a certain sense. We show that for each Borel $g : \mathbb{R} \to \mathbb{R}$, $f_a \cap g = \emptyset$ implies $a \in Δ^1_1(c)$ where $c$ is any code for $g$. We generalize this theorem for $g$ in larger pointclasses $Γ$. Specifically, if $Γ= \mathbfΔ^1_2$, then $a \in L[c]$. Also for all $n \in ω$, if $Γ= \mathbfΔ^1_{3 + n}$, then $a \in \mathcal{M}_{1 + n}(c)$.

2017-08-23math.LO

Classes de Wadge potentielles des boréliens à coupes dénombrables

We give, for each non self-dual Wadge class C contained in the class of the Gdelta sets, a characterization of Borel sets which are not potentially in C, among Borel sets with countable vertical sections; to do this, we use results of partial uniformization.

2007-09-30math.GNmath.LO

Not so many non-disjoint translations

We show that, consistently, there is a Borel set which has uncountably many pairwise very non-disjoint translations, but does not allow a perfect set of such translations.

2017-11-11math.LO

Uniformisations partielles et critères à la Hurewicz dans le plan

We give characterizations of the Borel sets potentially in some Wadge class, among the Borel sets with countable vertical sections of a product of two Polish spaces. To do this, we use some partial uniformization results.

2007-09-30math.GNmath.LO

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

On a Question of Jaegers

We show that there exists a positive arithmetical formula $ψ(x,R)$, where $x \in ω$, $R \subseteq ω$, with no hyperarithmetical fixed point. This answers a question of Gerhard Jäger. As corollaries we obtain results on the proof-theoretic strength of the Kripke-Platek set theory; the fixed points of monotone functions in chain-complete partial orders; the non-Borel uniformization of Borel sets; and the hyperdegrees of fixed points of positive formulae. Further we prove a Suslin-Kleene type result for the specific encoding of the hyperarithmetical sets that we are using.

2022-03-01math.LO

A separation result for countable unions of Borel rectangles

We provide dichotomy results characterizing when two disjoint analytic binary relations can be separated by a countable union of ${\bfΣ}^0_1 \!\times\! {\bfΣ}^0_ξ$ sets, or by a ${\bfΠ}^0_1 \!\times\! {\bfΠ}^0_ξ$ set.

2017-08-02math.LO

Decomposing the real line into Borel sets closed under addition

We consider decompositions of the real line into pairwise disjoint Borel pieces so that each piece is closed under addition. How many pieces can there be? We prove among others that the number of pieces is either at most 3 or uncountable, and we show that it is undecidable in $ZFC$ and even in the theory $ZFC + \mathfrak{c} = ω_2$ if the number of pieces can be uncountable but less than the continuum. We also investigate various versions: what happens if we drop the Borelness requirement, if we replace addition by multiplication, if the pieces are subgroups, if we partition $(0,\infty)$, and s…

2014-11-24math.LO

$σ$-homogeneity of Borel sets

We give an affirmative answer to the following question: Is any Borel subset of a Cantor set $\textbf{ C}$ a sum of a countable number of pairwise disjoint $h$-homogeneous subspaces that are closed in $X$? It follows that every Borel set $X \subset \textbf{ R}^n$ can be partitioned into countably many $h$-homogeneous subspaces that are $G_δ$-sets in $X$.

2011-02-16math.GNmath.LO

Classes de Wadge potentielles et théorèmes d'uniformisation partielle

We want to give a construction as simple as possible of a Borel subset of a product of two Polish spaces. This introduces the notion of potential Wadge class. Among other things, we study the non-potentially closed sets, by proving Hurewicz-like results. This leads to partial uniformization theorems, on big sets, in the sense of cardinality or Baire category.

2007-09-30math.GNmath.LO

Completely nonmeasurable unions

Assume that there is no quasi-measurable cardinal smaller than $2^ω$. ($κ$ is quasi measurable if there exists $κ$-additive ideal $\ci $ of subsets of $κ$ such that the Boolean algebra $P(κ)/\ci$ satisfies c.c.c.) We show that for a c.c.c. $σ$-ideal I with a Borel base of subsets of an uncountable Polish space, if $\cal A$ is a point-finite family of subsets from I then there is an uncountable collection of pairwise disjoint subfamilies of $\cal A$ whose union is completely nonmeasurable i.e. its intersection with every non-small Borel set does not belong to the $σ$-field generated by Borel se…

2010-03-03math.LO

Ideals without ccc

Let I be an ideal of subsets of a Polish space X, containing all singletons and possessing a Borel basis. Assuming that I does not satisfy ccc, we consider the following conditions (B), (M) and (D). Condition (B) states that there is a disjoint family F subseteq P(X) of size c, consisting of Borel sets which are not in I. Condition (M) states that there is a function f:X-> X with f^{-1}[{x}] notin I for each x in X. Provided that X is a group and I is invariant, condition (D) states that there exist a Borel set B notin I and a perfect set P subseteq X for which the family {B+x: x in P} is disj…

1996-10-15math.LO

在可数余数的奇异基数上的一般描述集合论

Generalized Descriptive Set Theory at Singular Cardinals of Countable Cofinality

本文在可数余数的奇异基数上发展了描述集合论，研究了λ-波兰空间、λ-博雷尔空间及相关集合的性质，并推广了经典完美集性质。

2025-11-20math.GNmath.LO

On squares of spaces and Fsigma-sets

We show that the continuum hypothesis implies there exists a Lindelof space X such that X x X is the union of two metrizable subspaces but X is not metrizable. This gives a consistent solution to a problem of Balogh, Gruenhage, and Tkachuk. The main lemma is that assuming the continuum hypothesis there exist disjoint sets of reals X and Y such that X is Borel concentrated on Y, (i.e., for any Borel set B if Y is contained in B then X-B is countable,) but (X x X - diagonal) is relatively Fsigma in (X x X) U (Y x Y).

2004-04-22math.GNmath.LO

Rado 图的 Borel 集与 Ramsey 定理

Borel sets of Rado graphs and Ramsey's Theorem

本文针对 Rado 图这一齐性结构证明了 Galvin-Prikry 定理的无限维 Ramsey 类似结果，利用 Henson 图 Ramsey 理论技术和新的融合序列方法，克服了缺乏 Baire 空间融合性质的困难，为拓扑动力学对应关系的扩展奠定基础。

2024-09-28math.COmath.LO