Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

Abstract

Using Tsirelson's well-known example of a Banach space which does not contain a copy of $c_0$ or $l_p$, for p ≥ 1, we construct a simple Borel ideal $I_T$ such that the Borel cardinalities of the quotient spaces $P(ℕ)/I_T$ and $P(ℕ)/I_0$ are incomparable, where $I_0$ is the summable ideal of all sets A ⊆ ℕ such that $∑ _{n ∈ A}1/(n+1) < ∞$. This disproves a "trichotomy'' conjecture for Borel ideals proposed by Kechris and Mazur.