On the equivalence of two quantifier elimination tests
From MaRDI portal
(Redirected from Publication:6478778)
Abstract: We 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.
This page was built for publication: On the equivalence of two quantifier elimination tests
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6478778)
