Dispense e materiale didattico
- Elementi di logica matematica
-
Autore: Alessandro Andretta
Osservazioni: 488 pagine, in italiano (pdf).
Show abstract.Dispense del corso di Logica (laurea triennale in matematica, terzo anno).
Hide abstract. - A crèche course in model theory
-
Autore: Domenico Zambella
Osservazioni: Lecture notes for an introductory (under)graduate course (pdf).
Show abstract.Table of contents
- Preliminaries and notation
- Structures
- Tuples
- Terms
- Substructures
- Formulas
- Yet more notation
- Theories and elementarity
- Logical consequences
- Elementary equivalence
- Embeddings and isomorphisms
- Quotient structures
- Completeness
- The Tarski-Vaught test
- Downward Löwenheim-Skolem
- Elementary chains
- Ultraproducts
- Filters and ultrafilters
- Direct products
- Ultraproducts
- Compactness
- Compactness via syntax
- Compactness via ultraproducts
- Upward Löwenheim-Skolem
- Finite axiomatizability
- Types and morphisms
- Semilattices and filters
- Distributive lattices and prime filters
- Types as filters
- Morphisms
- Some relational structures
- Dense linear orders
- Random graphs
- Notes and references
- Fraïssé limits
- Rich models.
- Weaker notions of universality and homogeneity
- The amalgamation property
- Notes and references
- Some algebraic structures
- Abelian groups
- Torsion-free abelian groups
- Divisible abelian groups
- Commutative rings
- Integral domains
- Algebraically closed fields
- Hilbert's Nullstellensatz
- Saturation and homogeneity
- Saturated structures
- Homogeneous structures
- The monster model
- Preservation theorems
- Lyndon-Robinson Lemma
- Quantifier elimination by back-and-forth
- Model-completeness
- Geometry and dimension
- Algebraic and definable elements
- Strongly minimal theories
- Independence and dimension
- Countable models
- The omitting types theorem
- Prime and atomic models
- Countable categoricity
- Small theories
- A toy version of a theorem of Zil'ber
- Notes and references
- Definability and automorphisms
- Many-sorted structures
- The eq-expansion
- The definable closure in the eq-expansion
- The algebraic closure in the eq-expansion
- Elimination of imaginaries
- Imaginaries: the true story
- Uniform elimination of imaginaries
- Notes and references
- Invariant sets
- Invariant sets and types
- Invariance from the dual perspective
- Morley sequences and indiscernibles
- From coheirs to Ramsey to indiscernibles
- Lascar invariant sets
- Expansions
- Lascar strong types
- The Lascar graph and Newelski's theorem
- Kim-Pillay types
- Notes and references
- Externally definable sets
- Approximable sets
- Ladders and definability
- Vaknik-Chevronenkis dimension
- Honest definitions
- Stable theories
- Stability and the number of types
- Notes and references
Altro materiale
- A boolean algebraic approach to semiproper iterations
-
Autori: Giorgio Audrito, Silvia Steila and Matteo Viale
Osservazioni: 60 pagine, in inglese (pdf).
See abstract.The paper gives a self contained development of iterated forcing by means of directed systems of boolean algebras and proves the main results on semiproper iterations expanding and developing on the work of Donder and Fuchs. This material expands on a Ph.D course I gave in summer and fall 2013 on this topic.
Hide abstract.
Slides
- Logica matematica
-
Autore: Luca Motto Ros
Osservazioni: 57 slides, in italiano (pdf).
See abstract.Slides per i primi due incontri di un ciclo di quattro seminari introduttivi sulla logica matematica tenuti all'Università di Milano Bicocca (5-6 maggio 2016).
Hide abstract.
- Calcoli logici
-
Autore: Riccardo Camerlo
Osservazioni: in italiano (pdf).
See abstract.Slides per il terzo incontro di un ciclo di quattro seminari introduttivi sulla logica matematica tenuti all'Università di Milano Bicocca (12 maggio 2016).
Hide abstract.
- Teoria degli insiemi
-
Autore: Riccardo Camerlo
Osservazioni: in italiano (pdf).
See abstract.Slides per il quarto e ultimo incontro di un ciclo di quattro seminari introduttivi sulla logica matematica tenuti all'Università di Milano Bicocca (13 maggio 2016).
Hide abstract.