Models of arithmetic and recursive functions
scientific article; zbMATH DE number 3485768