Descripción
Un curso básico de posgrado en lógica matemática. Lógica proposicional y de predicados, teoría de la demostración, eliminación de cortes de Gentzen, completitud, compacidad, modelos de Henkin, teoría de modelos, aritmética e indecidibilidad. Temas especiales (si el tiempo lo permite) según los intereses del instructor y la audiencia.
Texto de referencia en su idioma de origen
A basic graduate course in mathematical logic. Propositional and predicate logic, proof theory, Gentzen's Cut-Elimination, completeness, compactness, Henkin models, model theory, arithmetic and undecidability. Special topics (time permitting) depending on interests of instructor and audience.
Fuentes y referencias
Se conservan las fechas y las fuentes para ayudarle a verificar la información. Las traducciones se proponen para facilitar la lectura; la fuente oficial es la referencia para las condiciones y los requisitos.
Referencia de la fuente : https://calendar.carleton.ca/grad/courses/MATH/