Provability algebras and proof-theoretic ordinals. I
scientific article; zbMATH DE number 2091341
scientific article