Topics in Pure Model Theory - Lecture 10
Offered By: Fields Institute via YouTube
Course Description
Overview
Explore advanced concepts in pure model theory through this lecture by Itay Kaplan from The Hebrew University of Jerusalem. Delve into topics such as simple theory, invariant type, symmetry, and evaluation. Examine proofs and contradictions while gaining insights into the intricacies of model theory. Part of a series hosted by the Fields Institute, this 86-minute talk offers a deep dive into theoretical mathematics for researchers and advanced students in the field.
Syllabus
Intro
Simple Theory
Invariant Type
Symmetry
Eval
Announcement
Proof
Contradictions
Taught by
Fields Institute
Related Courses
Language, Proof and LogicStanford University via edX Proof Theory Impressionism - Blurring the Curry-Howard Line
Strange Loop Conference via YouTube David Cerna: Proof Schema and the Refutational Complexity of Their Cut Structure
Hausdorff Center for Mathematics via YouTube Graham Leigh: On the Computational Content of Classical Sequent Calculus
Hausdorff Center for Mathematics via YouTube An Introduction to Tensorial Logic and Dialogue Categories
Hausdorff Center for Mathematics via YouTube