Anupam Das. On the logical complexity of cyclic arithmetic