Final Degree Project
Eliminación de cuantificadores para cuerpos algebraicamente cerrados y cuerpos reales cerrados
Author/s | Ruiz Cardoso, Antonio Miguel |
Director | Cordón Franco, Andrés |
Department | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Publication Date | 2022-06-22 |
Deposit Date | 2023-02-22 |
Academic Title | Universidad de Sevilla. Grado en Matemáticas |
Abstract | El proyecto tiene como objetivo estudiar la Teor´ıa de Modelos de los cuerpos algebraicamente cerrados y los cuerpos reales cerrados. De este modo se pretende conseguir
una axiomatizaci´on completa del cuerpo de los ... El proyecto tiene como objetivo estudiar la Teor´ıa de Modelos de los cuerpos algebraicamente cerrados y los cuerpos reales cerrados. De este modo se pretende conseguir una axiomatizaci´on completa del cuerpo de los n´umeros complejos y el cuerpo de los n´umeros reales. Para ello se emplear´an dos t´ecnicas b´asicas de la Teor´ıa de Modelos: λcategoricidad y eliminaci´on de cuantificadores, siendo esta ´ultima la que abordaremos con mayor profundidad. Finalmente, gracias a la axiomatizaci´on completa obtenida, se podr´an estudiar otros aspectos de esta clase de cuerpos como la decibilidad y sus conjuntos definibles. The main objective of the present project is to study the Model Theory of algebraically closed fields and real closed fields. In this way, we aim at giving a complete axiomatization of the complex numbers field and the ... The main objective of the present project is to study the Model Theory of algebraically closed fields and real closed fields. In this way, we aim at giving a complete axiomatization of the complex numbers field and the real numbers field. For this purpose, we will use two basic model-theoretic techniques: λ-categoricity and quantifier elimination, focussing on this last technique. Finally, thanks to the given axiomatizations, we will study different aspects of these field classes like decidability and definable sets. |
Citation | Ruiz Cardoso, A.M. (2022). Eliminación de cuantificadores para cuerpos algebraicamente cerrados y cuerpos reales cerrados. (Trabajo Fin de Grado Inédito). Universidad de Sevilla, Sevilla. |
Files | Size | Format | View | Description |
---|---|---|---|---|
GM RUIZ CARDOSO, ANTONIO MIGUEL.pdf | 530.5Kb | [PDF] | View/ | |