Closed maximal eventually different families for $\boldsymbolΣ^0_3$ and weakly Farah ideals

Jialiang He; Jiaheng Zhuang; Yi Zhou

Home/Archive/arXiv

arXiv · 2610.28275

Closed maximal eventually different families for $\boldsymbolΣ^0_3$ and weakly Farah ideals

Jialiang He·Jiaheng Zhuang·Yi Zhou

View original source ↗Read source document ↗Export metadata ↓

Abstract

Motivated by the existence of closed maximal $\mathcal{I}$-eventually different ($\mathcal{I}$-MED) families, we study uniform combinatorial properties of ideals. For a fixed ideal, a property is uniform if its witnesses can be chosen by a single Borel map. We prove that every $\boldsymbolΣ^0_3$ ideal is uniformly weakly $P^+$. We also prove that the classes of Farah and weakly Farah ideals coincide, answering a question of Hrušák and Meza-Alcántara. We then show that every weakly Farah ideal is uniformly weakly Ramsey. As an application, we obtain closed $\mathcal{I}$-MED families for $\boldsymbolΣ^0_3$ ideals and weakly Farah ideals.

Explore related subjects

math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Jialiang He, Jiaheng Zhuang, Yi Zhou. 2026-10-20. Closed maximal eventually different families for $\boldsymbolΣ^0_3$ and weakly Farah ideals. https://arxiv.org/abs/2610.28275

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

KEEP EXPLORING

Related papers

arXiv2026

Choice principles in countable partition models

We study the countable partition model over a set of atoms of arbitrary uncountable cardinality $κ$. Its supports are partitions of the atoms into countably many blocks, and a permutation fixes a support when it preserves each block setwise. This model was proposed by Bruce and studied by Banerjee. We prove that dependent choice holds for every $κ$, although the filter of subgroups is not closed under countable intersections. Choice for well-orderable families holds exactly when $κ<\aleph_{ω_1}$; when $κ\ge\aleph_{ω_1}$, an $ω_1$-indexed family witnesses its failure. The Hartogs and Lindenbaum numbers of the set of atoms are both $ω_1$. The proofs use permutations matching blocks of equal cardinality and establish shift completeness of the filter. Together with Banerjee's failure of $\mathsf{DC}_{ω_1}$, these results determine which dependent choice principles hold in the model.

math.LO↗

arXiv2026

Finite Combinatorics and Fragments of Arithmetic

In fragments of first order arithmetic, definable maps on finite domains could behave very differently from finite maps. Here combinatorial properties of $Σ_{n+1}$-definable maps on finite domains are compared in the absence of $BΣ_{n+1}$. It is shown that $\mathrm{GPHP}(Σ_{n+1})$ (the $Σ_{n+1}$-instance of Kaye's General Pigeonhole Principle) lies strictly between $\mathrm{CARD}(Σ_{n+1})$ and $\mathrm{WPHP}(Σ_{n+1})$ (Weak Pigeonhole Principle for $Σ_{n+1}$-maps), and also that $\mathrm{FRT}(Σ_{n+1})$ (Finite Ramsey's Theorem for $Σ_{n+1}$-maps) does not imply $\mathrm{WPHP}(Σ_{n+1})$.

math.LO↗

arXiv2026

Computational techniques for sheaf cohomology of locally profinite sets

We compute the sheaf cohomology with constant $\mathbb{Z}_2$ coefficients of a concrete class of locally profinite sets of independent interest. We introduce $k$-sheer partitions to aid in constructions. It is also shown that questions of intermediate cohomology degrees can be reduced to questions about top cohomology degrees by exhibiting nontrivial top cocycles as pointwise limits of coboundaries.

math.LO↗