arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.28669

Combinatorics of translations of meager and closed measure zero sets

Aleksander Cieślak
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study combinatorial properties of translations of meager and closed sets of measure zero. We discuss constellations of Borel conjectures for related classes of small sets and show that there are no uncountable null-additive sets in the Miller model. We also study cardinal invariants of those classes. In particular, we investigate the cardinal invariants of $σ$-ideals $\mathcal{H}_{F}$ related to meager-additive sets. We obtain a new characterization of additivity of meager ideal and answer some questions of Cardona. We also show that $\mathrm{non}(\mathcal{E}^{*})$, that is equal to the translation version of the covering number of the ideal $\mathcal{E}$, is close to the cardinal invariant related to the Laver property. This strengthens a result of Bartoszyński and Judah and a result of Elekes and Steprāns. Finally, we show that every $\mathcal{E}$-Luzin set is in $\mathcal{E}^{*}$.

Explore related subjects

math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Aleksander Cieślak. 2026-09-23. Combinatorics of translations of meager and closed measure zero sets. https://arxiv.org/abs/2609.28669

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

KEEP EXPLORING

Related papers

arXiv2026

Model completeness for the differential field of transseries with exponentiation

We show that the expansion of the valued differential field of logarithmic-exponential transseries by its natural exponential function is model complete. We give an axiomatization of the theory of this expansion that is effective relative to the theory of the real exponential field, and show that any maximal Hardy field satisfies the same axioms. We use this to prove a transfer theorem between Hardy fields and transseries.

math.LO↗
arXiv2026

Extended Frege proofs, circuits and rewriting

Inspired by a statement about Extended Frege proof systems by Jain and Jin (FOCS 2022) we prove that: - there is a p-time binary relation $\approx$ between circuits that implies their logical equivalence, - if the equivalence $C \equiv D$ has an Extended Frege or a Circuit Frege proof with $k$ steps then there is a chain of circuits $E_i$ $$ C = E_0 \approx \dots \approx E_t = D $$ with $t \le O(k \log k)$, and the total size of the chain is bounded above by $(k+|C|+|D|)^{O(1)}$.

math.LO↗
arXiv2026

A Zero--One Law for Subrings of the Reals Closed under Binary Interleaving

Erdős Problem 1154 asks whether every number in $[0,1]$ occurs as the Hausdorff dimension of a subring or subfield of $\mathbb{R}$. We prove that a subring of $\mathbb{R}$ closed under binary interleaving has Hausdorff dimension either zero or one. Consequently, every Turing ideal and its associated subfield satisfy the same dichotomy.

math.LO↗