A failure of quantifier elimination.
Revista Matemática de la Universidad Complutense de Madrid (1997)
- Volume: 10, Issue: Supl., page 209-216
- ISSN: 1139-1138
Access Full Article
top
Abstract
topHow to cite
topMacintyre, 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 ?
topYou 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.