Text this: On the logical complexity of cyclic arithmetic