ポーランド空間
数理論理学において実効ポーランド空間 () とは、可分な完備距離空間であって計算可能な表示をもつものである。この空間のクラスは主にエフェクティブ記述集合論と構成的解析学で研究されている。特に、ポーランド空間の標準的な例は全て、実効ポーランド空間である。