Submodelos elementales y algunas aplicaciones a la topología y la teoría de conjuntos
Date
2022-11-25
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Benemérita Universidad Autónoma de Puebla
Abstract
"Los submodelos elementales son objetos creados en la teoría de modelos, una rama de la lógica. Esta tesis se divide en dos partes. En la primera parte se presentarán los conceptos de lógica necesarios para entender los submodelos elementales, algunos de los resultados más importantes de estos y finalizaremos presentado unos resultados clásicos en los que se muestra el empleo de los submodelos elementales como una técnica de demostración. En la segunda parte de la tesis, usando un poco de combinatoria, se construirá un árbol cuyos nodos resultan ser submodelos elementales, los cuales se van descomponiendo poco a poco hasta que estos tienen tamaño numerable. A los árboles de este tipo se les llamarán los árboles de Davies. Estos árboles serán aplicados para presentar demostraciones de resultados más profundos".
Description
Keywords
Citation
Collections
Document Viewer
Select a file to preview:
Can't see the file? Try reloading