MathVideos.org
  • Seminars
    • Algebra
      • Associative Rings
        • Ariki-Koike Algebras
        • Cluster Algebras
        • Group Rings
        • Hecke Algebras
        • KLR Algebras
        • Schur Algebras
      • Commutative Algebra
      • Fusion Systems
      • Group Theory
        • Abelian Groups
        • Algebraic Groups
        • Combinatorial Group Theory
        • Computational Group Theory
        • Finite Groups
        • Geometric Group Theory
        • Infinite Groups
        • Lie Groups
        • Permutation Groups
      • Lie Theory
        • Algebraic Groups
        • Lie Algebras
        • Lie Groups
        • p-Adic Groups
        • Representations of Algebraic Groups
      • Non-Associative Algebras
        • Jordan and Axial Algebras
        • Lie Algebras
        • Other Non-Associative Rings
      • Representation Theory
        • Geometric Representation Theory
        • Representations of Algebraic Groups
        • Representations of Finite Groups
        • Representations of Lie Algebras
        • Representations of Symmetric Groups
      • Semigroups
    • Analysis
      • Complex Analysis
      • Functional Analysis
      • Harmonic Analysis
    • Category Theory
      • Derived Categories
      • Higher Category Theory
      • Triangulated Categories
    • Combinatorics
      • Additive Combinatorics
      • Algebraic Combinatorics
      • Extremal Combinatorics
      • Graph Theory
    • Geometry
      • Algebraic Geometry
        • Birational Geometry
      • Differential Geometry
      • Discrete Geometry
      • Non-Commutative Geometry
      • Symplectic Geometry
    • Logic
    • Mathematical Finance
    • Mathematical Physics
    • Number Theory
      • Additive Number Theory
      • Analytic Number Theory
      • Algebraic Number Theory
      • Computational Number Theory
      • Diophantine Equations
      • Diophantine Geometry
      • Number Theory and Forms
      • Probabilistic Number Theory
    • Optimization
    • Probability Theory
    • Topology
      • Algebraic Topology
      • Analytic Topology
      • Differential Topology
      • Dynamical Systems
      • Geometric Topology
  • Short Courses
    • Algebra
    • Analysis
    • Category Theory
    • Combinatorics
    • Geometry
    • Mathematical Physics
    • Number Theory
    • Probability Theory
    • Topology
  • Lecture Courses
    • Algebra
    • Analysis
    • Category Theory
    • Combinatorics
    • Geometry
    • Mathematical Physics
    • Number Theory
    • Probability Theory
    • Topology
  • ···
    MathVideos.org
    • Seminars
      • Algebra
        • Associative Rings
          • Ariki-Koike Algebras
          • Cluster Algebras
          • Group Rings
          • Hecke Algebras
          • KLR Algebras
          • Schur Algebras
        • Commutative Algebra
        • Fusion Systems
        • Group Theory
          • Abelian Groups
          • Algebraic Groups
          • Combinatorial Group Theory
          • Computational Group Theory
          • Finite Groups
          • Geometric Group Theory
          • Infinite Groups
          • Lie Groups
          • Permutation Groups
        • Lie Theory
          • Algebraic Groups
          • Lie Algebras
          • Lie Groups
          • p-Adic Groups
          • Representations of Algebraic Groups
        • Non-Associative Algebras
          • Jordan and Axial Algebras
          • Lie Algebras
          • Other Non-Associative Rings
        • Representation Theory
          • Geometric Representation Theory
          • Representations of Algebraic Groups
          • Representations of Finite Groups
          • Representations of Lie Algebras
          • Representations of Symmetric Groups
        • Semigroups
      • Analysis
        • Complex Analysis
        • Functional Analysis
        • Harmonic Analysis
      • Category Theory
        • Derived Categories
        • Higher Category Theory
        • Triangulated Categories
      • Combinatorics
        • Additive Combinatorics
        • Algebraic Combinatorics
        • Extremal Combinatorics
        • Graph Theory
      • Geometry
        • Algebraic Geometry
          • Birational Geometry
        • Differential Geometry
        • Discrete Geometry
        • Non-Commutative Geometry
        • Symplectic Geometry
      • Logic
      • Mathematical Finance
      • Mathematical Physics
      • Number Theory
        • Additive Number Theory
        • Analytic Number Theory
        • Algebraic Number Theory
        • Computational Number Theory
        • Diophantine Equations
        • Diophantine Geometry
        • Number Theory and Forms
        • Probabilistic Number Theory
      • Optimization
      • Probability Theory
      • Topology
        • Algebraic Topology
        • Analytic Topology
        • Differential Topology
        • Dynamical Systems
        • Geometric Topology
    • Short Courses
      • Algebra
      • Analysis
      • Category Theory
      • Combinatorics
      • Geometry
      • Mathematical Physics
      • Number Theory
      • Probability Theory
      • Topology
    • Lecture Courses
      • Algebra
      • Analysis
      • Category Theory
      • Combinatorics
      • Geometry
      • Mathematical Physics
      • Number Theory
      • Probability Theory
      • Topology
    • ···
      MathVideos.org
      • Seminars
        • Algebra
          • Associative Rings
            • Ariki-Koike Algebras
            • Cluster Algebras
            • Group Rings
            • Hecke Algebras
            • KLR Algebras
            • Schur Algebras
          • Commutative Algebra
          • Fusion Systems
          • Group Theory
            • Abelian Groups
            • Algebraic Groups
            • Combinatorial Group Theory
            • Computational Group Theory
            • Finite Groups
            • Geometric Group Theory
            • Infinite Groups
            • Lie Groups
            • Permutation Groups
          • Lie Theory
            • Algebraic Groups
            • Lie Algebras
            • Lie Groups
            • p-Adic Groups
            • Representations of Algebraic Groups
          • Non-Associative Algebras
            • Jordan and Axial Algebras
            • Lie Algebras
            • Other Non-Associative Rings
          • Representation Theory
            • Geometric Representation Theory
            • Representations of Algebraic Groups
            • Representations of Finite Groups
            • Representations of Lie Algebras
            • Representations of Symmetric Groups
          • Semigroups
        • Analysis
          • Complex Analysis
          • Functional Analysis
          • Harmonic Analysis
        • Category Theory
          • Derived Categories
          • Higher Category Theory
          • Triangulated Categories
        • Combinatorics
          • Additive Combinatorics
          • Algebraic Combinatorics
          • Extremal Combinatorics
          • Graph Theory
        • Geometry
          • Algebraic Geometry
            • Birational Geometry
          • Differential Geometry
          • Discrete Geometry
          • Non-Commutative Geometry
          • Symplectic Geometry
        • Logic
        • Mathematical Finance
        • Mathematical Physics
        • Number Theory
          • Additive Number Theory
          • Analytic Number Theory
          • Algebraic Number Theory
          • Computational Number Theory
          • Diophantine Equations
          • Diophantine Geometry
          • Number Theory and Forms
          • Probabilistic Number Theory
        • Optimization
        • Probability Theory
        • Topology
          • Algebraic Topology
          • Analytic Topology
          • Differential Topology
          • Dynamical Systems
          • Geometric Topology
      • Short Courses
        • Algebra
        • Analysis
        • Category Theory
        • Combinatorics
        • Geometry
        • Mathematical Physics
        • Number Theory
        • Probability Theory
        • Topology
      • Lecture Courses
        • Algebra
        • Analysis
        • Category Theory
        • Combinatorics
        • Geometry
        • Mathematical Physics
        • Number Theory
        • Probability Theory
        • Topology

      Various Speakers: An Excursion Into Model Theory and Its Applications

      13th October, 2020
      1. Ulla Karhumäki: Introduction to model theory
      2. Ulla Karhumäki: Introduction to model theory: theories and quantifier elimination
      3. Ulla Karhumäki: Introduction to model theory: ultraproducts and compactness theorem
      4. Zaniar Ghadernezhad: Introduction to model theory: Löwenheim–Skolem theorem
      5. Zaniar Ghadernezhad: Introduction to model theory: types and saturated models
      6. Zaniar Ghadernezhadi: Introduction to model theory: Space of types, Morley’s theorem and some classification
      7. Vahagn Aslanyan: Introduction to o-minimality and applications
      8. Zaniar Ghadernezhad: Automorphism groups of countable first order structures
      9. Ulla Karhumäki: Pseudofinite groups
      10. Gabriel Conant: Applications of model theory to combinatorics

      These videos are part of the London Mathematical Society‘s Online Graduate Lecture Series. These are supported by the LMS, and organized by the Brussels-London Geometry Research Network.

      Logic Model theory Set theory

      You may also like

      Jonathan Pila: Lectures on model theory and logic

      23rd October, 2018

      Jean-Simon Lemay: The Theory of Differential Categories

      28th October, 2020

      In ‘Short Courses’

      • All Short Courses
      • Algebra
      • Analysis
      • Category Theory
      • Combinatorics
      • Geometry
      • Mathematical Physics
      • Number Theory
      • Probability Theory
      • Topology

      About MathVideos

      MathVideos attempts to produce a catalogue of all research-level seminar and course videos from across the Internet. Started by David Craven, it is not affiliated in any way with the University of Birmingham.

      Privacy Policy

      Contact Us

      Most recent videos

      • Nikolay Bogachev: Geometry, Arithmetic, and Dynamics of Discrete Groups, XXI 3rd December, 2024
      • David Fernández: Non-commutative Poisson geometry and pre-Calabi-Yau algebras 2nd December, 2024
      • Hadi Salmasian: Lie Groups and Quantization, XXIII 2nd December, 2024
      • Jon Woolf: Heart fans as universal phase diagrams 28th November, 2024
      • Nikolay Bogachev: Geometry, Arithmetic, and Dynamics of Discrete Groups, XX 28th November, 2024