Course: Model companionship results for set theory and the continuum problem.

Topic outline

General

Collapse all Expand all
- $Forum icon$
  
  Annunci Forum
Main bibligraphic references
- $File icon$
  
  Light paper on model companionship results for set theory File
- $File icon$
  
  Notes on model companionship File
- $File icon$
  
  Heavy paper on model companionship results for set theory File
- $File icon$
  
  Notes on forcing File
- $File icon$
  
  Useful axioms File
- $File icon$
  
  Vaccaro-Viale-2019-BUMI File
- $File icon$
  
  Asperò-Viale-2022-JML File
PART 1 Model Theory
- Handwritten notes
- $File icon$
  
  Lecture 1 3/5/2022 File
- $File icon$
  
  Lecture 2 4/5/2022 File
- $File icon$
  
  Lecture 3 10/5/2022 File
- $File icon$
  
  Lecture 4 11/5/2022 File
- Video recordings
- $URL icon$
  
  Lecture 1 3/5/2022 URL
- $URL icon$
  
  Lecture 2 4/5/2022 URL
- $URL icon$
  
  Lecture 3 10/5/2022 URL
- $URL icon$
  
  Lecture 4 11/5/2022 URL
PART 2: general model companionship results for set theory
- Handwritten notes
- $File icon$
  
  Lecture 5 17/5/2022 File
- $File icon$
  
  Lecture 6 18/5/2022 File
- $File icon$
  
  Lecture 7 31/5/2022 File
- Video recordings
- $URL icon$
  
  Lecture 5 17/5/2022 URL
- $URL icon$
  
  Lecture 6 18/5/2022 URL
- $URL icon$
  
  Lecture 7 31/5/2022 URL
PART 3: Forcibility versus strong consistency for fragments of third order arithmetic and CH
- Handwritten notes
- $File icon$
  
  Lecture 8 14/6/2022 File
- $File icon$
  
  Lecture 9 15/6/2022 File
- $File icon$
  
  Lecture 10 16/6/2022 File
- Video recordings
- $URL icon$
  
  Lecture 8 14/6/2022 URL
- $URL icon$
  
  Lecture 9 15/6/2022 URL
- $URL icon$
  
  Lecture 10 16/6/2022 URL
PART 4: Model completeness results for second order arithmetic and generic absoluteness
- Handwritten notes
- $File icon$
  
  Lecture 11 21/6/2022 File
- $File icon$
  
  Lecture 12 22/6/2022 File
- $File icon$
  
  Lecture 13 23/6/2022 File
- $File icon$
  
  Lecture 14 28/6/2022 File
- $File icon$
  
  Lecture 15 29/6/2022 File
- Video recordings
- $URL icon$
  
  Lecture 11 21/6/2022 URL
- $URL icon$
  
  Lecture 12 22/6/2022 URL
- $URL icon$
  
  Lecture 13 23/6/2022 URL
- $URL icon$
  
  Lecture 14 28/6/2022 URL
- $URL icon$
  
  Lecture 15 29/6/2022 URL
Topic 6
Topic 7
Topic 8

Topic outline

General

Main bibligraphic references

PART 1 Model Theory

PART 2: general model companionship results for set theory

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

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

Topic 6

Topic 7

Topic 8