A failure of quantifier elimination

  • David Marker
  • Angus Macintyre
DOI: https://doi.org/10.5209/rev_REMA.1997.v10.17364

Abstract

Sin resumen
View Citations

Format

Crossmark

Metrics

Published
1997-01-01
How to Cite
Marker, D., & Macintyre, A. (1997). A failure of quantifier elimination. Revista Matemática Complutense, 10, 209. https://doi.org/10.5209/rev_REMA.1997.v10.17364
Issue
Vol. 10 (1997): Extra
Section
Articles

License

LICENCE OF USE: The full text articles included on the Scientific Journals of the Complutense website are open access and the property of their authors and/or publishers. Therefore, any reproduction, distribution, public communication and/or total or partial transformation requires their express and written consent. Links to the full text of the articles on the Scientific Journals of the Complutense website should be to the official URL of the Complutense University of Madrid.