English

On algebraic sums, trees and ideals in the Cantor space

Logic 2024-05-24 v1 General Topology

Abstract

We work in the Cantor space 2ω2^\omega. The results of the paper adhere the following pattern. Let I{M,N,MN,E}\mathcal{I}\in \{\mathcal{M}, \mathcal{N}, \mathcal{M}\cap \mathcal{N}, \mathcal{E}\} and TT be a perfect, uniformly perfect or Silver tree. Then for every AIA\in \mathcal{I} there exists TTT'\subseteq T of the same kind as TT such that A+[T]+[T]++[T]n–timesIA+\underbrace{[T']+[T']+\dots +[T']}_{\text{n--times}}\in \mathcal{I} for each nωn\in\omega. We also prove weaker statements for splitting trees. For the case E\mathcal{E} we also provide a simple characterization of basis of E\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 u0u_0 and v0v_0, provided that c\mathfrak{c} is a regular cardinal.

Keywords

Cite

@article{arxiv.2405.13775,
  title  = {On algebraic sums, trees and ideals in the Cantor space},
  author = {Marcin Michalski and Robert Rałowski and Szymon Żeberski},
  journal= {arXiv preprint arXiv:2405.13775},
  year   = {2024}
}