Tópicos de lógica
Profesor: Roberto Cignoli
Puntaje: 4 puntos (Licenciatura y Profesorado) y 3 (Doctorado)
Correlatividades: Cálculo avanzado
Carga horaria: 6 horas por semana (4 horas teóricas y 2 horas prácticas)
Carreras:
Licenciatura en Matemática (Or. Pura y Aplicada)
Profesorado en Matemática
Doctorado en Matemática
Breve descripción del curso:
Lenguajes de primer orden. Los axiomas de Zermelo‑Fraenkel.
Clases. Ordinales y cardinales. Formas equivalentes del axioma de elección. El axioma de regularidad. Modelos de la teoría de conjuntos. Fórmulas absolutas para clases transitivas. Consistencia relativa del axioma de elección.
Bibliografía:
- K.J. Devlin, Fundamentals of contemporary set theory, Springer‑Verlag, New York, 1979.
- J.L. Krivine, Introduction to axiomatic set theory, D.Reidel, Dordrecht, 1971.
- K. Kunen, Set theory, North‑Holland, Amsterdam, 2nd. Printing, 1983.
- Notas de clase.
Reunión preliminar:
Horarios: