YoVDO

Topics in Pure Model Theory - Lecture 10

Offered By: Fields Institute via YouTube

Tags

Mathematical logic Courses Proof Theory Courses

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

Introduction to Logic
Stanford University via Coursera
Logic: Language and Information 1
University of Melbourne via Coursera
Logic: Language and Information 2
University of Melbourne via Coursera
Information Service Engineering
openHPI
Language, Proof and Logic
Stanford University via edX