検索結果
ナビゲーションに移動
検索に移動
- …ctive Polish space}}) とは、[[可分]]な[[完備距離空間]]であって計算可能な表示をもつものである。この空間のクラスは主に[[エフェクティブ記述集合論]]と[[構成的解析学]]で研究されている。特に、[[ポーランド空間]]の標準的な例は全て、実効ポーランド空間である。 [[Category:エフェクティブ記述集合論]] …1キロバイト (72 語) - 2020年5月20日 (水) 05:15
- [[Category:エフェクティブ記述集合論]] …8キロバイト (434 語) - 2023年8月20日 (日) 12:28
- 発展の過程で、この分野は計算可能性や定義可能性全般を対象に含むようになった。これらの領域においては、再帰理論は[[証明論]]や エフェクティブ記述集合論([[:en:Effective descriptive set theory|en]])とも密接に関係する。 …45キロバイト (1,231 語) - 2023年12月24日 (日) 17:20