Orbit complexity by computable structures
Stefano Galatolo · Nonlinearity · 2000
We give a definition of orbit complexity for points in topological dynamical systems over separable metric spaces. Our definition extends Brudno's definition meaningfully to the non-compact case. Interacting with constructive mathematics we investigate questions about orbit complexity from a new point of view. In particular, we show a relation between constructivity, entropy and orbit complexity.