Tall $F_{\sigma }$ subideals of tall analytic ideals

Abstract

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