pith. sign in

arxiv: 2405.13775 · v1 · pith:6VHFFM3Bnew · submitted 2024-05-22 · 🧮 math.LO · math.GN

On algebraic sums, trees and ideals in the Cantor space

classification 🧮 math.LO math.GN
keywords mathcalalgebraiccantorgeneralizedomegaperfectproveresults
0
0 comments X
read the original abstract

We work in the Cantor space $2^\omega$. The results of the paper adhere the following pattern. Let $\mathcal{I}\in \{\mathcal{M}, \mathcal{N}, \mathcal{M}\cap \mathcal{N}, \mathcal{E}\}$ and $T$ be a perfect, uniformly perfect or Silver tree. Then for every $A\in \mathcal{I}$ there exists $T'\subseteq T$ of the same kind as $T$ such that $A+\underbrace{[T']+[T']+\dots +[T']}_{\text{n--times}}\in \mathcal{I}$ for each $n\in\omega$. We also prove weaker statements for splitting trees. For the case $\mathcal{E}$ we also provide a simple characterization of basis of $\mathcal{E}$. We use these results to prove that the algebraic sum of a generalized Luzin set and a generalized Sierpi\'nski set belongs to $u_0$ and $v_0$, provided that $\mathfrak{c}$ is a regular cardinal.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On Star operation and some ideals on the Baire space

    math.LO 2026-05 unverdicted novelty 5.0

    Introduces ideals G and SMZ+ on the Baire space, proves star-operation dualities such as ED*=IE and M_-*=SMZ^+, shows M_- has the same cardinal invariants as the meager ideal, and establishes a tree dichotomy theorem for M_-.