Tall 𝐹_{𝜎} subideals of tall analytic ideals

Abstract

Answering a question of Hrušák, we show that every analytic tall ideal on ω \omega contains an F σ F_\sigma tall ideal. We also give an example of an F σ F_\sigma tall ideal without a Borel selector.