39:53 duration 39 minutes 53 seconds
Dominique Maldague - Small cap decoupling for the…
Dominique Maldague - Small cap decoupling for the moment curve in R^3
A Young Researchers Symposium in Harmonic Analysis Dominique Maldague, Massachusetts Institute of Technology 24 June 2022
03:32 duration 3 minutes 32 seconds
CL - Implication
We derive the implication rule using the rules introduced last week.
04:13 duration 4 minutes 13 seconds
CL - Lecture 4.h - Sequents 3
We can now give Gentzen's rules for ¬ ⋀ ⋁.