Polish space
もっと一般に、ポーランド空間 formula_9 の部分集合の集まりはWadge次数として知られる同値類に分類される。これは射影階層を一般化する。これらの次数はWadge階層に並べられる。決定性公理はポーランド空間上のWadge階層が整礎で長さΘの射影階層の延長であることを含意する。