An intensional fixed point theory over first order arithmetic
scientific article; zbMATH DE number 2091344