On arithmetic complexity of certain constructive logics
scientific article; zbMATH DE number 148619