V článku je odvozeno několik trichotomií pro ideály kompkatních množin. Je ukázáno, že 'dostatečně bohatý' ideál, který je univerzálně Baireův, je buď F-sigma-delta-hard nebo G-delta-sigma-hard nebo jdo o sigma-ideal