Videos
Large Cardinals Beyond HOD
Joan Bagaria, University of BarcelonaOn Provability Logic of Heyting Arithmetic
Mojtaba Mojtahedi, Ghent UniversityThe discontinuity problem
Vasco Brattka, Bundeswehr University MunichScott Models for Probabilistic Computation
Abbas Edalat, Imperial College LondonThe discontinuity problem
Vasco Brattka, Bundeswehr University MunichBounding nonminimality
Rahim Moosa, University of WaterlooForcing a Club by a Generalized Fast Function
Tadatoshi Miyamoto, Nanzan UniversityMonadic dividing lines and hereditary classes
Sam Braunfeld, Carles UniversityStrong minimal sets in differentially closed fields--equations of Poizat and Lienard type
David Marker, University of Illinois at ChicagoCorona rigidity
Iljias Farah, York UniversitySemantics of Boolean-valued models and their connection and application to the standard
Asgar Jamneshan, Koc UniversityStrong tree properties, the Kurepa hypothesis, and the continuum
Chris Lambie-Hanson, Czech Academy of SciencesLarge fields with stable and simple theories
Anand Pillay, University of Notre DameOn the reconstruction of non $\aleph_0$-categorical theories, and some remarks on witnesses in continuous logic
Itaï Ben Yaacov, Université Claude Bernard - Lyon 1, Institut Camille JordanShort introduction to H-minimality
Hamed Khalilian, Heinrich-Heine-Universität DüsseldorfFinite support iteration and small models
Martin Goldstern, Vienna University of TechnologyPartitions of well-founded trees and three connections with model theory
Andrés Villaveces, Universidad Nacional de ColombiaDownload Slides
A definable Hamel basis without choice
Ralf Schindler, Universität MünsterPseudofiniteness and measurability of the everywhere infinite forest
Darío García, Universidad de los AndesDownload Slides
Download Notes
The Herwig--Lascar property of groups, ultraextensive structures and Vershik's conjecture
Mahmood Etedadi Aliabadi, University of North TexasDownload Slides
Universal theories and compactly expandable models
Enrique Casanovas, University of BarcelonaLinearisation in finite-dimensional theories
Frank Wagner, Université Claude Bernard Lyon 1Fraisse limits of categories of C*-algebras
Saeed Ghasemi, Czech Academy of SciencesGeneralized descriptive set theory under I0
Vincenzo Dimonte, University of UdineIn search of higher forcing axioms; A Supplement to Veličković's talk
Rahman Mohammadpour, Vienna University of TechnologyIn search of higher forcing axioms
Boban Veličković, University of ParisModel Theory of Adeles
Jamshid Derakhshan, University of OxfordDownload Notes (I)
Download Notes (II)
Cardinalities of Definable Sets in finite Structures
Dugald Macpherson, University of LeedsDownload Slides
Purity and Model Theory of Modules
Mike Prest, University of ManchesterDynamic Topological Logic
David Fernández-Duque, Ghent UniversityLecture 1 Download Slides (With some corrections of typos)
Lecture 2 Download Slides (With some corrections of typos)
Group Topologies on Automorphism Groups of First Order Structure
Zaniar Ghadernezhad, Imperial college LondonDownload Slides
An invitation to topos-theoretic model theory
Olivia Caramello, University of Insurbia and IHÉSDownload Slides