Mathematical logic Courses
Insights into Mathematics via YouTube Semi-Algebraic Proofs, IPS Lower Bounds and the τ-Conjecture
Association for Computing Machinery (ACM) via YouTube Composition Theorems via Lifting
IEEE via YouTube Polynomial Calculus Space and Resolution Width
IEEE via YouTube Computable Structure Theory with Noncomputable Structures
Joint Mathematics Meetings via YouTube Provable Security at AWS - Automated Reasoning for Cloud Security
USENIX Enigma Conference via YouTube Decidability Bounds for Presburger Arithmetic Extended by Sine
Fields Institute via YouTube Tameness Beyond O-Minimality - Lecture 1
Fields Institute via YouTube O-minimality and the Pila-Wilkie Theorem - Lecture 1
Fields Institute via YouTube Effectivity of Standard O-Minimal Results in the Sharply O-Minimal Setting
Fields Institute via YouTube