Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.05784

The Higher Closed Null Ideal(s)

Adam Marton·Jaroslav Šupina·Miroslav Repický·Tristan van der Vlugt
View original source ↗Read source document ↗Export metadata ↓

Abstract

We generalise the $σ$-ideal $\mathcal E$ generated by the closed Lebesgue null subsets of the Cantor space ${}^ω2$ to the context of higher Cantor spaces ${}^κ2$ for an uncountable cardinal $κ$ satisfying $κ=κ^{<κ}$. We introduce candidates for a higher closed null ideal based on slaloms on partitions of $κ$ into sets of size ${<}κ$, and study their combinatorial properties. We also give some relations between the cardinal invariants of the higher closed null ideals and other cardinal characteristics.

Explore related subjects

math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Adam Marton, Jaroslav Šupina, Miroslav Repický, Tristan van der Vlugt. 2026-10-05. The Higher Closed Null Ideal(s). https://arxiv.org/abs/2610.05784

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Classification complexity of homeomorphism group actions

In this paper, we study how the classification complexity of natural orbit equivalence relations changes when the full homeomorphism group of a compact metrizable space is replaced by a dense non-closed subgroup. For a compact space $X$ and a subgroup $G \leq \mathcal{H}(X)$, we consider three canonical actions: the left shift action on $\mathcal{H}(X)$, the induced hyperspace action on $\mathcal{F}(X)$, and the conjugation action on $G$ We first analyze subgroups of the group $\mathcal{H}^+([0,1])$ of increasing interval homeomorphisms, focusing on bi-Lipschitz homeomorphisms, diffeomorphisms, and bi-absolutely continuous homeomorphisms. We show that, in contrast to the behavior of closed subgroups, passing to these subgroups strictly increases the complexities of the associated classification problems or makes them incomparable with the corresponding full-group relations. In the second part, we investigate hyperspace actions of bi-absolutely continuous homeomorphisms on the Cantor space and the Hilbert cube with respect to some Borel probability measure and show that a similar behavior occurs on these spaces as well.

math.LO↗
arXiv2026

Stationary common-neighborhood properties and partition hypotheses

We use stationary common-neighborhood properties to study highly connected Ramsey relations and partition hypotheses. For weakly compact $κ$, $\operatorname{Coll}(ω_1,{<}κ)$ forces $ω_2\to_{\mathrm{hc},<5}(ω_2)^2_ω$ and $\operatorname{PH}_1(ω_2)$. If $κ$ is $T^{κ^+}_{ω_1}$-Ramsey, the same collapse forces that every countable coloring of $[ω_2]^2$ has a stationary set $X\subseteqω_2$ and a color $i$ such that every finite subset of $X$ has stationarily many color-$i$ common neighbors in $X$. From one weakly compact cardinal, we obtain a model of the ${<}5$-edge relation at $ω_3$ and $\operatorname{PH}_1(ω_3)$, in which $\check H^2(ω_3,A_d)\ne0$ for every nontrivial abelian group $A$. This separates $\operatorname{PH}_1(ω_3)$ from $\operatorname{PH}_2(ω_3)$, with the exact consistency strength of one weakly compact cardinal. We also show that $\operatorname{PH}_1(ω_2\timesω_5)$ is equiconsistent with two weakly compact cardinals.

math.LO↗