Reflection principles and provability algebras in formal arithmetic

By L. Beklemishev. 2005

119 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

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