局所化に基づく基本列の構成と、それらのバッハマン特性について

バッハマン・ハワード順序数を超える順序数に対して、局所化という概念に基づいた基本列の体系を導入し、Π¹₁-CA₀ の証明論的強度の順序記数法に対してバッハマン特性を証明する。