On the equivalence of two quantifier elimination tests

arXivmath/0702376MaRDI QIDQ6478778FDOQ6478778

Authors: Yimu Yin 

Publication date: 13 February 2007

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.

Mathematics Subject Classification ID

Set-theoretic model theory (03C55)

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)