Tesi etd-12012016-050419 |
Link copiato negli appunti
Tipo di tesi
Tesi di laurea magistrale
Autore
DI LIBERTI, IVAN
URN
etd-12012016-050419
Titolo
A survey on Barr's Theorem
Dipartimento
MATEMATICA
Corso di studi
MATEMATICA
Relatori
relatore Gambino, Nicola
correlatore Berarducci, Alessandro
correlatore Berarducci, Alessandro
Parole chiave
- Model Theory
- Axiom of Choice
- Topos theory
Data inizio appello
16/12/2016
Consultabilità
Completa
Riassunto
Thesis presents the notion of elementary topos in order to state and prove Barr's theorem. We discuss a common ground to build classical Model Theory in an elementary topos, then we use Barr's theorem for some applications.
File
| Nome file | Dimensione |
|---|---|
| pictures.pdf | 762.12 Kb |
Contatta l’autore |
|