Talk on effective dimension reviewing latest results on constructive and finite state dimension (with detailed references at the end)
Very informal and sketchy talk on effective dimension on point-to-set-principle results outside of Euclidean space