Home /  DDC - Introductory Seminar: Model Theory, Part 2: Quantifier Elimination

Seminar

DDC - Introductory Seminar: Model Theory, Part 2: Quantifier Elimination October 14, 2020 (08:00 AM PDT - 09:00 AM PDT)
Parent Program:
Location: SLMath: Online/Virtual
Speaker(s) David Marker (University of Illinois, Chicago)
Description

To participate in this seminar, please register here: https://www.msri.org/seminars/25206

Keywords and Mathematics Subject Classification (MSC)
Primary Mathematics Subject Classification No Primary AMS MSC
Secondary Mathematics Subject Classification No Secondary AMS MSC
Video

Model Theory, Part 2 Quantifier Elimination
Abstract/Media

To participate in this seminar, please register here: https://www.msri.org/seminars/25206

Asset no preview Slides 216 KB application/pdf

Model Theory, Part 2 Quantifier Elimination

H.264 Video 25452_29010_8565_Model_Theory__Part_2_Quantifier_Elimination.mp4
Download