Teaching material

Elements of Mathematical Logic
Author: Alessandro Andretta

Current version: link.
Previous versions

Version of October 20th, 2018: link.

Hide previous versions

Abstract

Draft of a logic textbook.

Hide abstract

A crèche course in model theory
Author: Domenico Zambella

Comments: Lecture notes for an introductory (under)graduate course.
Current version: link.

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

Other notes

A boolean algebraic approach to semiproper iterations
Authors: Giorgio Audrito, Silvia Steila, Matteo Viale

Comments: 60 pages, in English.
Current version: link.

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
Author: Luca Motto Ros

Comments: 57 slides, in Italian.
Current version: link.

Abstract

Slides of the first two (out of four) introductory seminars on Mathematical Logic held at the University of Milano Bicocca (May 5-6 2016).

Hide abstract

Calcoli Logici
Author: Riccardo Camerlo

Comments: in Italian.
Current version: link.

Abstract

Slides of the third (out of four) introductory seminars on Mathematical Logic held at the University of Milano Bicocca (May 12 2016).

Hide abstract

Teoria degli Insiemi
Author: Riccardo Camerlo

Comments: in Italian.
Current version: link.

Abstract

Slides of the fourth (out of four) introductory seminars on Mathematical Logic held at the University of Milano Bicocca (May 13 2016).

Hide abstract

Videos

  • Luca Motto Ros, "Towards the « right » generalization of descriptive set theory to uncountable cardinals" (in English).
    15th International Luminy Workshop in Set Theory, Centre International de Rencontres Mathématiques (Marseille, France), September 26th, 2019.
    Slides

  • Alessandro Andretta, "È possibile duplicare gli oggetti?" (in Italian).
    Accademia delle Scienze di Torino, January 30th, 2019.
    Slides

  • Rapahel Carroy, "A dichotomy for topological embeddability between continuous functions" (in English).
    Kurt Gödel Research Center (Vienna, Austria), November 22nd, 2018.

  • Matteo Viale, "The model companions of set theory" (in English).
    Set Theory Today: A conference in honor of Georg Cantor, Kurt Gödel Research Center (Vienna, Austria), September 27th, 2018.
    Slides

  • Luca Motto Ros, "Classical descriptive set theory, generalized descriptive set theory, and I0" (in English).
    Set Theory Today: A conference in honor of Georg Cantor, Kurt Gödel Research Center (Vienna, Austria), September 21st, 2018.
    Slides

  • Alessandro Andretta, "L'ipotesi del continuo" (in Italian).
    Accademia delle Scienze di Torino, February 15th, 2018.
    Slides