The logic of \(\Pi_ 1\)-conservativity continued
scientific article; zbMATH DE number 484793