Phd Course in Mathematical and Physical Sciences

2022-2023

Reverse Mathematics

Basic Course

Lecturer

Alberto Marcone
University of Udine
Board Contact
Alberto Marcone
SSD
MAT/01
CFU
4 CFU, plus 2 CFU for seminar activity
Period
June/July 2023
Lessons / Hours
16 hours
Program
Computable mathematics and problem reducibility.
Second order arithmetic and its subsystems.
Effective forcing.
Ramsey theorem and its variants.
Verification
Seminar on a topic chosen by the student and the teacher
Prerequisites
Basic training in logic and computabilty