33232 подписчиков
152 видео
Recursion Theory and Diophantine Approximation - Ted Slaman (UC Berkeley)
Limiting density and free structures - Julia Knight (Notre Dame)
A theorem from Rival and Sands and reverse mathematics - Marta Fiori Carones
The Tree of Tuples of a Structure - Matthew Harrison-Trainor (VU Wellington & Massey University)
Minimal Pairs in the Generic Degrees - Denis Hirschfeldt (University of Chicago)
Coding in the automorphism group of a structure - Dan Turetsky (Victoria University of Wellington)
A local approach towards uniform Martin’s conjecture - Vittorio Bard (Torino)
Rogers semilattices in the analytical hierarchy - Nikolai Bazhenov (Sobolev Institute)
The coding power of product of partitions - Lu Liu (Central South University)
A Survey on Analog Models of Computation - Amaury Pouly (CNRS)
Reduction games, provability, and compactness - Sarah Reitzes (University of Chicago)
Sacks' Splitting Theorem Re-examined (again) - Rod Downey (Victoria University)
Reverse math of combinatorial principles over a weak base theory - Leszek Kołodziejczyk (Warsaw)
