English

Egorov ideals

Logic 2025-01-06 v2

Abstract

We study Egorov ideals, that is ideals on ω\omega for which the Egorov's theorem for ideal versions of pointwise and uniform convergences holds. We show that a non-pathological Σ20\bf{\Sigma^0_2} ideal is Egorov if and only if it is countably generated. In particular, up to isomorphism, there are only three non-pathological Σ20\bf{\Sigma^0_2} Egorov ideals. On the other hand, we construct 2ω2^\omega pairwise non-isomorphic Borel Egorov ideals. Moreover, we characterize when a product of ideals is Egorov.

Keywords

Cite

@article{arxiv.2312.00205,
  title  = {Egorov ideals},
  author = {Adam Kwela},
  journal= {arXiv preprint arXiv:2312.00205},
  year   = {2025}
}
R2 v1 2026-06-28T13:37:48.820Z