Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
scientific article; zbMATH DE number 3267340