A Practical Introduction to Interpretations.
We give a definition that is necessary for the construction of Hodge Theaters.
From playlist Model Theory
Model Theory - part 01 - The Setup in Classical Set Valued Model Theory
Here we give the basic setup for Model Theory. I learned this from a talk Tom Scanlon gave in 2010 at CUNY.
From playlist Model Theory
Model Theory - part 07 - Semantics pt 1
This is the first video on semantics.
From playlist Model Theory
Model Theory - part 03 - Terms, Formulas, Sequents
He we are a little bit more precise about keeping track of what fragments of formal languages we are using. This becomes relevant when you want to interpret them later. Caramello's book was useful in preparing this. We also found the post on nCatLab useful.
From playlist Model Theory
Model Theory - part 04 - Posets, Lattices, Heyting Algebras, Booleans Algebras
This is a short video for people who haven't seen a Heyting algebras before. There is really nothing special in it that doesn't show up in wikipedia or ncatlab. I just wanted to review it before we use them. Errata: *at 3:35: there the law should read (a and (a or b) ), not (a and (a and
From playlist Model Theory
Stanford Seminar - ML Explainability Part 4 I Evaluating Model Interpretations/Explanations
Professor Hima Lakkaraju describes how explanation methods can be compared and evaluated. Interpretability evaluation techniques range from the highly quantitative, where interpretability is replaced with a metric such as the number of rules or parameters, to qualitative where humans are a
From playlist Stanford Seminars
Model Theory - part 08 - Semantics pt 2
This is the second video on Semantics. I used Caramello and Awodey's notes on this.
From playlist Model Theory
Natural Models of Type Theory - Steve Awodey
Steve Awodey Carnegie Mellon University; Member, School of Mathematics March 28, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics
Model Theory - part 08 - Syntactic Catgories
These are the categories where functors from these dudes are models... these take forever to define. On top of it, these end up just being friggin' definable sets and definable morphisms!! I remember being a place in here where there is a diagram which i say commutes but I need to actually
From playlist Model Theory
Foundations S2 - Seminar 4 - Lower Lowenheim-Skolem
A seminar series on the foundations of mathematics, by Will Troiani and Billy Snikkers. In this lecture Will proves the lower Lowenheim-Skolem theorem. The webpage for this seminar is https://metauni.org/foundations/ You can join this seminar from anywhere, on any device, at https://www.
From playlist Foundations seminar
Laurent Lafforgue - 2/4 Classifying toposes of geometric theories
Course at the school and conference “Toposes online” (24-30 June 2021): https://aroundtoposes.com/toposesonline/ Slides: https://aroundtoposes.com/wp-content/uploads/2021/07/LafforgueSlidesToposesOnline.pdf The purpose of these lectures will be to present the theory of classifying topose
From playlist Toposes online
Title: Interpretations and Differential Galois Extensions
From playlist Fall 2014
The abstract chromatic number - Leonardo Nagami Coregliano
Computer Science/Discrete Mathematics Seminar I Topic: The abstract chromatic number Speaker: Leonardo Nagami Coregliano Affiliation: University of Chicago Date: March 22, 2021 For more video please visit http://video.ias.edu
From playlist Mathematics
Foundations S2 - Seminar 7 - Nonstandard models of arithmetic
A seminar series on the foundations of mathematics, by Will Troiani and Billy Snikkers. In this lecture Billy uses ultrafilters to construct nonstandard models of arithmetic, the hypernaturals. Near the end is some discussion of how to read this as talking about the limits of first order l
From playlist Foundations seminar
Constructive Type Theory and Homotopy - Steve Awodey
Steve Awodey Institute for Advanced Study December 3, 2010 In recent research it has become clear that there are fascinating connections between constructive mathematics, especially as formulated in the type theory of Martin-Löf, and homotopy theory, especially in the modern treatment in
From playlist Mathematics
Foundations S2 - Seminar 1 - Ax-Grothendieck and model theory
A seminar series on the foundations of mathematics, by Will Troiani and Billy Snikkers. This season the focus is on the proof of the Ax-Grothendieck theorem: an injective polynomial function from affine space (over the complex numbers) to itself is surjective. There is an interesting role
From playlist Foundations seminar
Will Troiani continues to introduce first order languages, interpretations and theories. You can join this seminar from anywhere, on any device, at https://www.metauni.org. This video was filmed in Deprecation (https://www.roblox.com/games/8164849103/Deprecation) on 7/1/22. This is a re-
From playlist Foundations seminar
Foundations S2 - Seminar 9 - Morgan Rogers on Morita equivalences and topological monoids
In this guest lecture, Morgan Rogers presents some results on topological monoids, topoi and Morita equivalences. Abstract: This talk presents the story which convinced me that logic has something positive to contribute in resolving questions in other areas of mathematics. Groups (and mor
From playlist Foundations seminar
We do a quick primer of Linear Regression (a ML technique) to prepare us for our next ML base causal inference tool!
From playlist Causal Inference - The Science of Cause and Effect