My CV Publications Preprints Talking

Some slides

Slides 1 %2020-09-07
Slides 2 %2020-09-14
Slides 3 %2020-09-21
Slides 4 %2020-09-28
Slides 5 %2020-10-05
Slides 6 %2020-10-12
Slides on Non-Standard Analysis %2020-12-21

Some lecture notes

Real quantifier elimination
Gödel's incompleteness theorems %updated 14-12-2020

Here is a brief summary of the course.
Here is a description of some axiomatic theories involved.
Here is the definition of a Turing machine we employ.