Encabezado Facultad de Ciencias
Presentación

Matemáticas (plan 1983) 2018-2

Optativas de los Niveles VII y VIII, Lógica Matemática III

Grupo 4260, 24 lugares. 11 alumnos.
Profesor Fernando Javier Nuñez Rosales lu mi vi 12 a 13 P203
Ayudante Antonio Nakid Cordero ma ju 12 a 13 P203
 

El objetivo del curso será desarrollar las herramientas básicas de teoría de modelos para tener un primer acercamiento a la conjetura de Vaught, un problema abierto de más de 50 años de antigüedad considerado de los más importantes de la lógica en la actualidad. La conjetura afirma que el número de modelos numerables de una teoría completa en un lenguaje de primer orden contable debe ser contable o la cardinalidad del continuo. El temario será el siguiente:

- Lo básico: subestructura elemental, cadenas, etc

- Teorema de Lowenheim-Skolem(-Tarski)

- Álgebras de Boole ( Objetivo: Teorema de Rasiowa-Sikorski)

- Modelos atómicos, saturados y primos

- Lenguajes infinitarios y el analisis de Scott

- Teorema de Vaught: no dos modelos

- Tópicos básicos de la teoría descriptiva de conjuntos

- Analisis de Morley

- Comprobar la conjetura en algunos casos particulares

 


Hecho en México, todos los derechos reservados 2011-2016. Esta página puede ser reproducida con fines no lucrativos, siempre y cuando no se mutile, se cite la fuente completa y su dirección electrónica. De otra forma requiere permiso previo por escrito de la Institución.
Sitio web administrado por la Coordinación de los Servicios de Cómputo de la Facultad de Ciencias. ¿Dudas?, ¿comentarios?. Escribenos.