Presentación | Participantes | Bibliografía (DML-E) | Bibliografía adicional | Enlaces de interés | Otros proyectos DML | Ayuda
INICIO |
27 de julio de 2024
A failure of quantifier elimination.
| Título inglés | A failure of quantifier elimination. |
|---|---|
| Título español | Fallo de la eliminación de un cuantificador. |
| Autor/es | Macintyre, Angus ; Marker, David |
| Organización | Oxford Univ., Oxford, Reino Unido;Univ. Illinois, Chicago (Illinois), Estados Unidos |
| Revista | 0214-3577 |
| Publicación | 1997, 10 (Supl.): 209-216, 5 Ref. |
| Tipo de documento | articulo |
| Idioma | Inglés |
| Resumen inglés | We show that log is needed to eliminate quantifiers in the theory of the real numbers with restricted analytic functions and exponentiation. |
| Clasificación UNESCO | 110208 ; 120502 |
| Palabras clave español | Números reales ; Funciones analíticas ; Función logarítmica ; Lógica matemática ; Cuantificación ; Función exponencial ; Lógica simbólica |
| Código MathReviews | MR1485300 |
| Código Z-Math | Zbl 0879.03011 |
 Acceso al artículo completo |
|