Martínez Ruiz, IvánHernández Hernández, FernandoMARTINEZ RUIZ, IVAN; 205993Moreno Espinoza, Cesar Alonzo2023-04-262023-04-262022-11-25https://hdl.handle.net/20.500.12371/18283"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".pdfspaCIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRALógica simbólica y matemáticaModelos matemáticosCálculo de predicadosTopologíaTeoría de conjuntosTesis de licenciaturaopenAccess