Are there descriptive complexity characterizations for TimeSpace complexity classes like $\mathsf{SC^i}= \mathsf{DTimeSpace}(n^{O(1)},O(\lg^i n))$?
Descriptive complexity characterization of TimeSpace classes
cc.complexity theory;complexity classes;descriptive complexity