El teorema del complementario de Wilkie para la función exponencial

Abstract

Este trabajo es un estudio en detalles de la demostración de Wilkie para la modelo completud de la teoria de los númelos reales (como cuerpo ordenado) con la función exponencial. Una teoría es modelo completa si cada fórmula en el lenguaje de dicha teoría es equivalente a una fórmula existencial. El Teorema de Wilkie puede ser entendido como una versión más débil del teorema de Tarski-Seidenberg, pero para la estructura de los reales con lafunción exponencial.