ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC
scientific article; zbMATH DE number 584611