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
Hide abstract.

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.