2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/123911We prove that, for countable languages, two model-theoretic quantifier elimination tests, one proposed by J. R. Shoenfield and the other by L. van den Dries, are equivalent.Logic03C55On the equivalence of two quantifier elimination teststext