Asesorías y clases particulares de TEORÍA DE MODELOS. Teoría de Modelos = Álgebra Universal + Lógica.

(20-03-2022)

Se ofrecen asesorías y clases particulares de TEORÍA DE MODELOS para investigadores en Matemática, Lógica, Computación, Filosofía de la Ciencia, etc. Vía web o presencial. (Teoría de Modelos = Álgebra Universal + Lógica). Prof. Dr. en Matemática Franklin Galindo, especialista en Lógica Matemática y Fundamentos de la Matemática. El código de "Teoría de Modelos" de la AMERICAN MATHEMATICAL SOCIETY 2020 es: 03Cxx. Temas que más he trabajado: Álgebra universal (estructuras: Grupo, Anillo, Cuerpo, Orden, Buen orden, Sistema de Peano, Álgebra de Boole, Retículo, Filtro, Ideal, Grafos, etc. Relaciones entre estructuras: subestructura, homomorfismo, inmersión, Isomorfismo, etc), Lógica de primer orden: Sintaxis y Semántica, El teorema de completitud de Gödel para la lógica de primer orden, relaciones entre estructuras que involucran al lenguaje de primer orden (equivalencia elemental, subestructura elemental, inmersión elemental, etc), teorías, el teorema de compacidad y sus implicaciones matemáticas, los teoremas de Löwenhein-Skolem-Tarski (hacia bajo y hacia arriba) y sus consecuencias, teorías completas y categóricas, Ultraproductos, Modelos no estándar, Principio de transferencia, más métodos de construcción de modelos, Teoremas de Lindström, y otros tópicos de la teoría de modelos. Más información por los correos electrónicos: logicamatematica.gb@gmail.com o franklingalindo178@gmail.com. O por el teléfono +584129953888 (whatsapp). Se le responderá con prontitud. Se garantiza experiencia docente y vocación académica para enseñar y aprender. También se dictan clases particulares de CÁLCULO. (Cálculo Diferencial y Cálculo Integral).

                                         Howard Jerome Keisler (nació en en 1936)
                                         

                                                  Chen Chung Chang (1927-2014)
                                         

                                                          Alfred Tarski (1902-1983)

                                          María Manzano