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