ETD

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

Tesi etd-12012016-050419

Tipo di tesi

Tesi di laurea magistrale

URN

etd-12012016-050419

Titolo

A survey on Barr's Theorem

Dipartimento

MATEMATICA

Corso di studi

MATEMATICA

Parole chiave

Axiom of Choice
Model Theory
Topos theory

Data inizio appello

16/12/2016

Consultabilità

Completa

Riassunto (Inglese)

Riassunto (Italiano)

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