Institute for Mathematical Sciences
Videos from Institute for Mathematical Sciences
Page 1 of 1 • 5 total videos
59:37
Introduction to Hyperarithmetic Sets and Computable Structure Theory
Institute for Mathematical Sciences
455 views
1:01:24
Some computability theory of finitely generated structures
Institute for Mathematical Sciences
150 views
55:28
The reverse mathematics of model theory and first-order principles
Institute for Mathematical Sciences
929 views
47:49
Computability and model-theoretic aspects of families of sets and its generalizations
Institute for Mathematical Sciences
116 views
1:08:56
IMS Public Lecture: Alan Turing, Computing, Bletchley, and Mathematics
Institute for Mathematical Sciences
170 views