Topics of Mathematical Logic
Code
9646
Academic unit
Faculdade de Ciências e Tecnologia
Department
Departamento de Matemática
Credits
6.0
Teacher in charge
Oleksiy Karlovych, Reinhard Josef Klaus Kahle
Weekly hours
4
Teaching language
Português
Objectives
At the end of this course students will have acquired advanced knowledge and skills in the area of mathematical logic, in particular in proof theory, in order to:
- Understand advanced contents in the area;
- Being able to execute research on a topic in the area.
Subject matter
Advanced topics in proof theory: Tait calculus, cut elimination, ordinal analysis, impredicativity of axiomatic systems, collaps of ordinal numbers, Pi^1_2 comprehension.
Bibliography
J. Barwise, ed., Handbook of Mathematical Logic, North-Holland, 1977.
W. Pohlers, Proof Theory: An Introduction, Springer, 2002.