Cyclic Arithmetic Is Equivalent to Peano Arithmetic.

Alex Simpson

Browse the full FOSSACS paper archive.