Provability algebras and proof-theoretic ordinals by