A proof-theoretical analysis of semiconstructive intermediate theories
scientific article; zbMATH DE number 1901324