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 |
|