Slides will be uploaded after each lecture.

• Lecture 1: Introduction & Core concepts.

Note: The slides are based almost exclusively on Heim & Kratzer (1998). A PDF of their book is also found online, e.g., here.

• Open problem set #1: Set Theory. •  
  • Exercises: Sets. (solutions here) •  
  • Exercise: (Deducing formal properties of) Functions. (solutions to be revealed during the discussion on Slack) • 
  • Recap: Sets. • 
  • Exercise: Eurofunction. (Discuss on Slack). •  
• Open problem set #2: Relations & Functions. •  
• Open problem set #3: Schönfinkelisation & Types. •  
• Open problem set #4: λ-reduction & Types. •  
• Open problem set #5: Relatives & Quantification. •  
  • Cheatsheet [ver. 1]