A failure of quantifier elimination.

Angus Macintyre; David Marker

Revista Matemática de la Universidad Complutense de Madrid (1997)

  • Volume: 10, Issue: Supl., page 209-216
  • ISSN: 1139-1138

Abstract

top
We show that log is needed to eliminate quantifiers in the theory of the real numbers with restricted analytic functions and exponentiation.

How to cite

top

Macintyre, Angus, and Marker, David. "A failure of quantifier elimination.." Revista Matemática de la Universidad Complutense de Madrid 10.Supl. (1997): 209-216. <http://eudml.org/doc/44260>.

@article{Macintyre1997,
abstract = {We show that log is needed to eliminate quantifiers in the theory of the real numbers with restricted analytic functions and exponentiation.},
author = {Macintyre, Angus, Marker, David},
journal = {Revista Matemática de la Universidad Complutense de Madrid},
keywords = {Números reales; Funciones analíticas; Función logarítmica; Lógica matemática; Cuantificación; Función exponencial; Lógica simbólica; quantifier elimination; log; theory of the real numbers with restricted analytic functions and exponentiation},
language = {eng},
number = {Supl.},
pages = {209-216},
title = {A failure of quantifier elimination.},
url = {http://eudml.org/doc/44260},
volume = {10},
year = {1997},
}

TY - JOUR
AU - Macintyre, Angus
AU - Marker, David
TI - A failure of quantifier elimination.
JO - Revista Matemática de la Universidad Complutense de Madrid
PY - 1997
VL - 10
IS - Supl.
SP - 209
EP - 216
AB - We show that log is needed to eliminate quantifiers in the theory of the real numbers with restricted analytic functions and exponentiation.
LA - eng
KW - Números reales; Funciones analíticas; Función logarítmica; Lógica matemática; Cuantificación; Función exponencial; Lógica simbólica; quantifier elimination; log; theory of the real numbers with restricted analytic functions and exponentiation
UR - http://eudml.org/doc/44260
ER -

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.