will soon be here: https://youtu.be/HzsAintH1K0
A class with bounded effective Littlestone dimension has only computable elements. (Reformulation: an effectively closed class with finite Littlestone dimension has only computable elements)