実効記述集合論ウィキペディア フリーな encyclopedia 実効記述集合論(じっこうきじゅつしゅうごうろん、Effective descriptive set theory)は記述集合論で細字の定義をもつ集合や実数を扱う分野である; それはすなわち、定義にいかなる実数パラメータも要さないものである (Moschovakis 1980)。つまり実効記述集合論は、記述集合論と再帰理論を組み合わせたものである。
実効記述集合論(じっこうきじゅつしゅうごうろん、Effective descriptive set theory)は記述集合論で細字の定義をもつ集合や実数を扱う分野である; それはすなわち、定義にいかなる実数パラメータも要さないものである (Moschovakis 1980)。つまり実効記述集合論は、記述集合論と再帰理論を組み合わせたものである。