29:10Amalgamation
A 29-minute video from bodirsky: “Amalgamation”.
bodirsky
848 subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
29:10
18:51Amalgamation SNP
A 19-minute video from bodirsky: “Amalgamation SNP”.
15:03Applications of the Compactness Theorem
A 15-minute video from bodirsky: “Applications of the Compactness Theorem”.
25:33Basics Complexity Theory
A 26-minute video from bodirsky: “Basics Complexity Theory”.
12:11Birkhoff's Theorem
A 12-minute video from bodirsky: “Birkhoff's Theorem”.
14:18Cardinals
A 14-minute video from bodirsky: “Cardinals”.
17:02Clones
A 17-minute video from bodirsky: “Clones”.
43:17Cores and Polymorphisms
A 43-minute video from bodirsky: “Cores and Polymorphisms”.
23:19Countably Categorical Structures
A 23-minute video from bodirsky: “Countably Categorical Structures”.
22:30Digraphs with a Maltsev Polymorphism
A 22-minute video from bodirsky: “Digraphs with a Maltsev Polymorphism”.
20:24First-order Interpretations
A 20-minute video from bodirsky: “First-order Interpretations”.
16:50First-order Logic
A 17-minute video from bodirsky: “First-order Logic”.
49:43
10:11
17:54Menger's Theorem
A 18-minute video from bodirsky: “Menger's Theorem”.
24:14Minimal Clones
A 24-minute video from bodirsky: “Minimal Clones”.
19:31Model theory: counting models
A 20-minute video from bodirsky: “Model theory: counting models”.
46:50Oligomorphic Clones, Part 1
A 47-minute video from bodirsky: “Oligomorphic Clones, Part 1”.
45:26Oligomorphic Clones, Part 2
A 45-minute video from bodirsky: “Oligomorphic Clones, Part 2”.
14:03Omitting Types
A 14-minute video from bodirsky: “Omitting Types”.
24:57Ordinals
A 25-minute video from bodirsky: “Ordinals”.
14:25Phylogenetische Rekonstruktion
A 14-minute video from bodirsky: “Phylogenetische Rekonstruktion”.
27:44Primitive Positive Interpretations
A 28-minute video from bodirsky: “Primitive Positive Interpretations”.
16:34Propositional Logic
A 17-minute video from bodirsky: “Propositional Logic”.
20:03Pseudo Varieties
A 20-minute video from bodirsky: “Pseudo Varieties”.
23:34Relational Structures and Primitive Positive Definitions
A 24-minute video from bodirsky: “Relational Structures and Primitive Positive Definitions”.
17:26Satz von Menger
A 17-minute video from bodirsky: “Satz von Menger”.
13:01Schaefer's Theorem
A 13-minute video from bodirsky: “Schaefer's Theorem”.
19:48Siggers' Theorem
A 20-minute video from bodirsky: “Siggers' Theorem”.
18:09Structures
A 18-minute video from bodirsky: “Structures”.
22:50Temporal Constraint Satisfaction Problems in Fixed Point Logic
A 23-minute video from bodirsky: “Temporal Constraint Satisfaction Problems in Fixed Point Logic”.
45:51The Arc-Consistency Procedure
A 46-minute video from bodirsky: “The Arc-Consistency Procedure”.
24:49The Completeness Theorem
A 25-minute video from bodirsky: “The Completeness Theorem”.
42:32The Path-Consistency Procedure and Majority Polymorphisms
A 43-minute video from bodirsky: “The Path-Consistency Procedure and Majority Polymorphisms”.
15:26The Satisfiability Problem
A 15-minute video from bodirsky: “The Satisfiability Problem”.
22:58The Theorem of Hell and Nesetril
A 23-minute video from bodirsky: “The Theorem of Hell and Nesetril”.