(A) Model theory:
(1) Bradd's lecture notes:
(2) I. Ben Yaacov, A. Berenstein, C. W. Henson, and A.
Model theory for metric structures
(3) Our paper with David Sherman (although it is #2 in
the series, #1 is actually more advanced and will not be
needed for this project):
(Note: Chang-Keisler's book `Continuous model theory' is
dated and not quite what we will need.)
(B) Functional analysis:
There is a number of excellent books in the subject. Among
Pedersen, Gert Kjærgård. Analysis now.
Vol. 2. Springer, 1995.
Conway, John B. A course in functional analysis.
Vol. 96. Springer, 1990.
Rudin, Walter. Functional analysis. International series
in pure and applied mathematics. McGraw-Hill (1991).
Zimmer, Robert J. Essential results of functional analysis.
University of Chicago Press, 1990.
Each of these books contains way more material than we
can possibly cover in two months. Central topics from the
functional analysis that we will need are the following:
Hilbert spaces, operators on Hilbert spaces, spectral theorem,
continuous functional calculus.
(1) An introduction is given in Ilijas's Singapore lecture
There are many excellent books on C*-algebras (some of
them published by the Fields Institute) but the above will
do for now.
(D) Further reading.
(1) Last year's project is presented here
(2) Slides from Ilijas's Logic Colloquium 2012 lectures
also contain some information on the `big picture' (lecture
three is most relevant to our project). Attached here:
Back to main page