Model companionship results for set theory and the continuum problem.

Topic outline

• 

  General

  • Annunci Forum
• 

  Main bibligraphic references

  • Light paper on model companionship results for set theory File
  • Notes on model companionship File
  • Heavy paper on model companionship results for set theory File
  • Notes on forcing File
  • Useful axioms File
  • Vaccaro-Viale-2019-BUMI File
  • Asperò-Viale-2022-JML File
• 

  PART 1 Model Theory

  • Handwritten notes
    

  • Lecture 1 3/5/2022 File
  • Lecture 2 4/5/2022 File
  • Lecture 3 10/5/2022 File
  • Lecture 4 11/5/2022 File
  • Video recordings
    

  • Lecture 1 3/5/2022 URL
  • Lecture 2 4/5/2022 URL
  • Lecture 3 10/5/2022 URL
  • Lecture 4 11/5/2022 URL
• 

  PART 2: general model companionship results for set theory

  • Handwritten notes
    

  • Lecture 5 17/5/2022 File
  • Lecture 6 18/5/2022 File
  • Lecture 7 31/5/2022 File
  • Video recordings
    

  • Lecture 5 17/5/2022 URL
  • Lecture 6 18/5/2022 URL
  • Lecture 7 31/5/2022 URL
• 

  PART 3: Forcibility versus strong consistency for fragments of third order arithmetic and CH

  • Handwritten notes
    

  • Lecture 8 14/6/2022 File
  • Lecture 9 15/6/2022 File
  • Lecture 10 16/6/2022 File
  • Video recordings
    

  • Lecture 8 14/6/2022 URL
  • Lecture 9 15/6/2022 URL
  • Lecture 10 16/6/2022 URL
• 

  PART 4: Model completeness results for second order arithmetic and generic absoluteness

  • Handwritten notes
    

  • Lecture 11 21/6/2022 File
  • Lecture 12 22/6/2022 File
  • Lecture 13 23/6/2022 File
  • Lecture 14 28/6/2022 File
  • Lecture 15 29/6/2022 File
  • Video recordings
    

  • Lecture 11 21/6/2022 URL
  • Lecture 12 22/6/2022 URL
  • Lecture 13 23/6/2022 URL
  • Lecture 14 28/6/2022 URL
  • Lecture 15 29/6/2022 URL
• 

  Topic 6
• 

  Topic 7
• 

  Topic 8