Proposte argomenti seminari
Il Nullstellensatz di Hilbert. Bibliografia: Paragrafo 8.7 delle dispense ed eventuali nozioni a monte.
Questo testo recente contiene un esposizione più standard dell'argomento (mi è stato raccomandato, ma non l'ho mai letto con attenzione): Jonathan Kirby, An Invitation to Model Theory
- Esistenza di modelli saturi, λ-saturi, λ-omogenei. L'argomento è indicato a chi è familiare con nozioni di base di teoria degli insiemi (cofinalità, cardinali inacessibili). La bibliografia è da definirsi, più che altro è una serie di esercizi (di TdI).
- Indipendenza e dimensione nelle teorie fortemente minimali. Bibliografia: Paragrafo 11.3 delle dispense.
Immaginari. Bibliografia: Paragrafi 13.1 -- 13.6 delle dispense.
Una versione più breve e più standard in: Tent, Ziegler, A Course in Model Theory.
- Teorema di omissione dei tipi. Bibliografia: Paragrafo 12.1 delle dispense.
Ultime modifiche: martedì, 20 aprile 2021, 10:22