RT info:eu-repo/semantics/masterThesis
T1 El teorema del complementario de Wilkie para la función exponencial
A1 Leonel Laurenti, Caio Henrique
A2 Universidad de Valladolid. Facultad de Ciencias
K1 Lógica
K1 Geometria
K1 Exponencial
AB 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.
YR 2022
FD 2022
LK https://uvadoc.uva.es/handle/10324/57866
UL https://uvadoc.uva.es/handle/10324/57866
LA spa
NO Departamento de Algebra, Geometría y Topología
DS UVaDOC
RD 23-nov-2024