A failure of quantifier elimination

  • David Marker
  • Angus Macintyre
##plugins.pubIds.doi.readerDisplayName## : https://doi.org/10.5209/rev_REMA.1997.v10.17364

Résumé

Sin resumen
##submission.viewcitations##

##submission.format##

##submission.crossmark##

##submission.metrics##

Publié
1997-01-01
Comment citer
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
Numéro
Vol. 10 (1997): Extra
Rubrique
Artículos

Licence

LICENCIA DE USO: Los artículos a texto completo incluidos en el Portal de Revistas Científicas Complutenses son de acceso libre y propiedad de sus autores y/o editores. Por tanto, cualquier acto de reproducción, distribución, comunicación pública y/o transformación total o parcial requiere el consentimiento expreso y escrito de aquéllos. Cualquier enlace al texto completo de los artículos del Portal de Revistas Científicas Complutenses debe efectuarse a la URL oficial de la Universidad Complutense de Madrid