計算可能性理論における極大タワーと超フィルター基底

計算可能性理論における極大タワーと超フィルター基底の概念を導入し、それらの計算量を分析することで、集合論における対応する概念との関連性を明らかにする。