Wiesław Kubiś: Abstract Evolution Systems 16th December, 2021 Watch LaterRemove Cinema Mode This talk is based on this arXiv paper. This video is part of Masaryk University‘s Algebra seminar. Logic You may also like Joel David Hamkins: Infinite Games – Strategies, Logic, Theory, and Computation 16th June, 2023 Martin Bidlingmaier: Model categories of lcc categories and the gros model of dependent type theory. 26th November, 2020 Christian Espíndola: Topos-theoretic completeness theorems 7th May, 2020 Jonathan Kirby: A model-theoretic look at exponential fields 25th March, 2021 Andrei Yafaev: o-minimality and Diophantine geometry 4th December, 2023 Soichiro Fujii: A unified framework for notions of algebraic theory 14th May, 2020 In ‘Seminars’Algebra Analysis Category Theory Combinatorics Geometry Logic Mathematical Physics Number Theory Probability Theory Topology
Martin Bidlingmaier: Model categories of lcc categories and the gros model of dependent type theory. 26th November, 2020