Numerical abstraction via the Frege quantifier
scientific article; zbMATH DE number 5758435