Computability
Videos from Computability
Page 1 of 1 • 13 total videos
47:48
Asymptotic notions of computability - Tiago Royer (UChicago) (part 2)
Computability
68 views
1:01:29
Reverse Mathematics: A Global View - Richard Shore (Cornell University)
Computability
267 views
1:02:16
Arrow's theorem and the reverse mathematics of social choice theory - Benedict Eastaugh (Warwick)
Computability
151 views
1:01:30
Provable better partial orders in reverse mathematics - Alberto Marcone (Udine)
Computability
65 views
1:11:13
Coding in reverse mathematics - Carl Mummert
Computability
193 views
1:15:00
Constructive reverse mathematics of Gödel's completeness theorem - Hugo Herbelin
Computability
123 views
1:08:46
Strict reverse mathematics - Harvey Friedman
Computability
278 views
50:31
The dimension spectrum conjecture for lines - Donald Stull (Northwestern University)
Computability
179 views
56:50
Lawvere-Tierney topologies for computability theorists - Takayuki Kihara (Nagoya University)
Computability
285 views
41:00
Maximal towers and ultrafilter bases in computability theory - Andre Nies (Auckland University)
Computability
272 views
1:07:23
The Reverse Mathematics of Noether’s Decomposition Lemma - Chris Conidis (CUNY/Staten Island)
Computability
126 views
54:56
A theorem from Rival and Sands and reverse mathematics - Marta Fiori Carones
Computability
177 views
1:11:53
Recursion Theory and Diophantine Approximation - Ted Slaman (UC Berkeley)
Computability
618 views