Ramsey eliminability
Ramsey Eliminability of Theoretical Terms
scientific article; zbMATH DE number 3623516