As you should have heard already, my plane flight was cancelled (due to a "missing first officer") and they could not reschedule me back in time for class Friday.  So class is cancelled this Friday, but we will meet as planned on Monday.

    My apologies for the disruption.

    Sam

Scribe notes for May 4 -- bounded quantifiers

Here are the scribe notes for May 4 on bounded quantifiers: pdf and tex.

Scribe Notes for Friday, May 18

The pdf and the tex files.

Notes for Wednesday, 5/16/12

the pdf is here and the tex is here

Notes for May 14

The pdf and the tex files.

Notes are posted for Part II of Friday's lecture (May 11).   If you notice any typos or other errors, corrections are appreciated.

The PDF file is here.  The source file is here.

Sam

Scribe Notes for Friday, May 11

Here are the scribe notes for May 11 (on \(\Sigma_1\)-defined functions and some more bootstrapping): pdf and tex.

notes for may 9th

the pdf is here and the tex is here

Scribe notes for April 27th

Scribe notes for April 27th: PDF and TEX.

-James

Scribe Notes from May 2nd:
PDF LaTeX

Scribe Notes for April 30

Here is the tex and here is the pdf. If I made any errors let me know and I will update the document.