- Oggetto:
- Oggetto:
Teoria dei Modelli (NON ATTIVATO NELL'A.A. 2006-2007)
- Oggetto:
Anno accademico 2006/2007
- Codice dell'attività didattica
- S8528
- Corso di studi
- Laurea Magistrale in Matematica
- Anno
- 4° anno 5° anno
- Tipologia
- A scelta dello studente
- Crediti/Valenza
- 7
- Oggetto:
Sommario insegnamento
- Oggetto:
Programma
Strutture e isomorfismi. Teorema di compattezza.
Teorema di Lowenheim-Skolem. Estensioni elementari.
Eliminazione dei quantificatori. Esempi: campi algebraicamente chiusi e campi reali chiusi. Teorema di omissione dei tipi.
Modelli primi. Saturazione. Ultraprodotti.
Teorie omega-categoriche. Indiscernibili. Rango di Morley.
Teoremi di Morley e di Baldwin-Lachlan.Testi consigliati e bibliografia
- Oggetto:
- Dispense di Enrique Casanovas e dispense del docente
- Oggetto:
Altre informazioni
http://www.dm.unito.it/~zambella/TdM- Oggetto: