入力されたワードを説明してください。
低基底定理
計算可能性理論における低基底定理（）は formula_1 の任意の空でないformula_2クラス（算術的階層を見よ）は低次数の元を含むことを示す（Soare 1987:109）もので、1972年にカール・ショカシュとロバート・アーヴィング・ソーアによって証明せられた（Nies 2009:57）。Cenzer (1993:53) はこれを"もしかすると formula_2 クラスの理論において最も引用されている結果"と記している。
この定理の証明には formula_2 クラスによる強制法が用いられている（Cooper 2004:330）。未出版の元々の証明では formula_5-構成が用いられていた（Diamondstone et al.:2010:135）。シェイファーはこの証明が実際には超低次数の元の存在を示していることを指摘した。この意味で強化された主張は超低基底定理と呼ばれる。
formula_6クラスは木の概念と密接に関係している。formula_6クラスに関する定理はしばしば木に関する定理として定式化される。低基底定理は「任意の計算可能な無限二分木は低次数の無限枝を持つ」ことを述べている。