Association for Symbolic Logic
Videos from Association for Symbolic Logic
Page 1 of 1 • 3 total videos
28:14
The Reverse Mathematics of Hindman's Theorem - Paul-Elliot Anglès d'Auriac
Association for Symbolic Logic
310 views
28:56
Reduction games, provability, and compactness - Sarah Reitzes (University of Chicago)
Association for Symbolic Logic
166 views
20:21
Results in Computable Model Theory of Continuous Logic - Caleb Camrud
Association for Symbolic Logic
376 views