logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-12012016-050419


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
Parole chiave
  • Axiom of Choice
  • Model Theory
  • 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