The schedule is subject to change throughout the semester.
| Date | Lecture | Reading | ||
|---|---|---|---|---|
| |
||||
| Th | Feb | 08 | Natural Deduction and Hilbert Style | Ch. 2--3 |
| |
||||
| F | Feb | 16 | Truth Semantics | Ch. 4 |
| |
||||
| F | Feb | 23 | Embedding Classical into Constructive Logic | Ch. 5 |
| |
||||
| F | Mar | 02 | Constructive Arithmetic and Analysis | Ch. 6 |
| |
||||
| F | Mar | 09 | Constructive Real Numbers | Ch. 7 |
| |
||||
| F | Mar | 16 | Basic Recursion Theory in HA | Ch. 8 + TvD or Cutland as needed |
| |
||||
| F | Mar | 23 | Cancelled | |
| |
||||
| F | Mar | 30 | Kleene's number realizability and Markov's Principle | Ch. 9--10 |
| |
||||
| F | Apr | 06 | Kleene Function Realizability | Ch. 11 |
| |
||||
| F | Apr | 20 | Higher Type Arithmetic | Ch. 12 |
| |
||||
| F | Apr | 27 | Modified Realizability | Ch. 13 |
| |
||||