マルティンレーフランダム底

ウィキペディア小見出し辞書

マルティンレーフランダム底

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2016/02/03 07:15 UTC 版)

「K自明集合」の記事における「マルティンレーフランダム底」の解説

Aがマルティンレーフランダム底であるとは、AがAから見てマルティンレーフランダムな列Zに対して、チューリング還元可能であることを言う。 K自明集合の特徴付けに関しては、更に多くのものが知られている。例えば、 弱2ランダム低 左c.e.差実数低（ここでは、ランダムの概念が使われていないことに注意。） などである。