Squashing theories into Heyting algebras
This is the first of two videos on Heyting algebra, Tarski-Lindenbaum and negation: https://gist.github.com/Nikolaj-K/1478e66ccc9b7ac2ea565e743c904555 Followup video: https://youtu.be/ws6vCT7ExTY
From playlist Logic
This is a follow up to https://youtu.be/lDhKE2SKF08. In this video we zoom in on Negation and also discuss models such as the 3-valued one for intuitionistic propositional logic. The script I'm using you can find here: https://gist.github.com/Nikolaj-K/1478e66ccc9b7ac2ea565e743c904555
From playlist Logic
Ihsen Yengui: Algorithms for computing syzygies over VX 1,…,X n, V a valuation ring
The lecture was held within the framework of the Hausdorff Trimester Program: Constructive Mathematics. Abstract: I will present a general algorithm for computing a finite generating set for the syzygies of any finitely generated ideal of V[X_1,...,X_k] (V a valuation domain) which does
From playlist Workshop: "Constructive Mathematics"
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
Francesco Ciraulo: Notions of Booleanization in pointfree Topology
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: Boolean algebras play a key role in the foundations of classical mathematics. And a similar role is played by Heyting algebras for constructive mathematics. But this is
From playlist Workshop: "Constructive Mathematics"
Solution sets of systems of linear equations -- Elementary Linear Algebra
This lecture is on Elementary Linear Algebra. For more see http://calculus123.com.
From playlist Elementary Linear Algebra
Algebra for Beginners | Basics of Algebra
#Algebra is one of the broad parts of mathematics, together with number theory, geometry and analysis. In its most general form, algebra is the study of mathematical symbols and the rules for manipulating these symbols; it is a unifying thread of almost all of mathematics. Table of Conten
From playlist Linear Algebra
Albert Visser: The absorption law for slow provability
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: The absorption law for slow provability states that, if it is provable that A is slowly provable, then A is provable. We give a simple proof of the absorption law for a v
From playlist Workshop: "Proofs and Computation"
As part of the college algebra series, this Center of Math video will teach you the basics of functions, including how they're written and what they do.
From playlist Basics: College Algebra
The Lie-algebra of Quaternion algebras and their Lie-subalgebras
In this video we discuss the Lie-algebras of general quaternion algebras over general fields, especially as the Lie-algebra is naturally given for 2x2 representations. The video follows a longer video I previously did on quaternions, but this time I focus on the Lie-algebra operation. I st
From playlist Algebra
Linear Algebra: Continuing with function properties of linear transformations, we recall the definition of an onto function and give a rule for onto linear transformations.
From playlist MathDoctorBob: Linear Algebra I: From Linear Equations to Eigenspaces | CosmoLearning.org Mathematics
The Euclidean plane -- College Algebra
This lecture is on College Algebra. It follows the introductory part of the book Calculus Illustrated by Peter Saveliev. The text of the book can be found at http://calculus123.com.
From playlist College Algebra
Rigidity for von Neumann algebras – Adrian Ioana – ICM2018
Analysis and Operator Algebras Invited Lecture 8.5 Rigidity for von Neumann algebras Adrian Ioana Abstract: We survey some of the progress made recently in the classification of von Neumann algebras arising from countable groups and their measure preserving actions on probability spaces.
From playlist Analysis & Operator Algebras
Arthur Troupel - Free Wreath Products as Fundamental Graph C*-algebras
The free wreath product of a compact quantum group by the quantum permutation group S+N has been introduced by Bichon in order to give a quantum counterpart of the classical wreath product. The representation theory of such groups is well-known, but some results about their operator algebr
From playlist Annual meeting “Arbre de Noël du GDR Géométrie non-commutative”
Lecture 8: Bökstedt Periodicity
In this video, we give a proof of Bökstedts fundamental result showing that THH of F_p is polynomial in a degree 2 class. This will rely on unlocking its relation to the dual Steenrod algebra and the fundamental fact, that the latter is free as an E_2-Algebra. Feel free to post comments a
From playlist Topological Cyclic Homology
Connections Warm-up: Einstein Notation and Coordinates
We clear-up some fuzz about what Einstein notation and coordinates mean.
From playlist Connections, Curvature and Covariant Derivatives