実効ポーランド空間
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/05/20 04:15 UTC 版)
数理論理学において実効ポーランド空間 (英: effective Polish space) とは、可分な完備距離空間であって計算可能な表示をもつものである。この空間のクラスは主にエフェクティブ記述集合論と構成的解析学で研究されている。特に、ポーランド空間の標準的な例は全て、実効ポーランド空間である。
- 1 実効ポーランド空間とは
- 2 実効ポーランド空間の概要
- 実効ポーランド空間のページへのリンク