Quantifying over the reals
substitutional construal of quantification
scientific article; zbMATH DE number 720697