Abstract
We prove several trichotomy results for ideals of compact sets. Typically, we show that a ``sufficiently rich'' niversally Baire ideal is either F-sigma-delta-hard, or G-delta-sigma-hard, or else a sigma-ideal.
We prove several trichotomy results for ideals of compact sets. Typically, we show that a ``sufficiently rich'' niversally Baire ideal is either F-sigma-delta-hard, or G-delta-sigma-hard, or else a sigma-ideal.