On the Logical Complexity of Cyclic Arithmetic