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

Indice degli argomenti

Introduzione

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

Indice degli argomenti

Introduzione

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

Argomento 6

Argomento 7

Argomento 8