A note on Tsirelson type ideals
Using Tsirelson’s well-known example of a Banach space which does not contain a copy of or , for p ≥ 1, we construct a simple Borel ideal such that the Borel cardinalities of the quotient spaces and are incomparable, where is the summable ideal of all sets A ⊆ ℕ such that . This disproves a “trichotomy” conjecture for Borel ideals proposed by Kechris and Mazur.