Estudo de temas avançados de lógica contemporânea
Introdução à metateoria da lógica de predicados clássica de primeira ordem e de algumas de suas extensões tais como lógica de segunda ordem, teoria de conjuntos e lógica infinitária.
1) Lógica de primeira ordem 2) Completude; compacidade; Löwenheim-Skolem. 3) Interpolação e definibilidade. 4) Classes especiais de fórmulas; teoremas de preservação. 5) Casos solúveis do Entscheidungsproblem. 6) Formas normais de Skolem. Teorema de Herbrand. 7) Lógica de segunda ordem. 8) Lógica infinitária.
ACKERMANN, W. Solvable cases of the decision problem. Amsterdã: North-Holland, 1954. CHANG, C.C.; KEISLER, H.J. Model theory. Mineola (EUA): Dover, 2012. CHURCH, A. Introduction to mathematical logic. Princeton: Princeton University Press, 1956. HALMOS, P. Teoria Ingênua dos Conjuntos. São Paulo: Edusp, 1970. KEISLER, H.J. Model theory for infinitary logic. Amsterdã: North-Holland, 1971. LINDSTRÖM, P. First-order logic. Gothenburg University, 2006. LINDSTRÖM, P. First-order logic. Col. Web Series, n. 36. Gotemburgo (Suécia): Göteborg University, 2006. QUINE, W.V.O. Methods of Logic. Nova York: Holt, 1962. SMULLYAN, R. Lógica de primeira ordem. São Paulo: Edunesp, Discurso Editorial, 2009.