User blog comment:Edwin Shade/A Complete Analysis of Taranovsky's Notation/@comment-30118230-20180129200050/@comment-5529393-20180130084806

SOA has Pi^1_n-CA for all n.