Veblen hierarchy in the context of provability algebras

By L. Beklemishev. 2004

47 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/d833e3a94f2e992fa1660a9f204b11c705bee3ba