These notes are an account of a six-hour lecture series I presented at Carnegie Mellon University on September 9, 2006, as the inaugural meeting of the Appalachian Set Theory series. My remarks (occasionally improvised) were faithfully transcribed by Peter LeFanu Lumsdaine and Yimu Yin, who then presented me with a rough draft of this article. Their account… (More)
Figures and Tables
Sorry, we couldn't extract any figures or tables for this paper.