On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
scientific article; zbMATH DE number 3618147