Статья

Shi, Xianghui.
Axiom Io and higher degree theory / X. Shi // The Journal of Symbolic Logic. – 2015. – Vol.80, № 3. – P. 970-1021.