Fusible numbers and Peano Arithmetic.

Jeff Erickson, Gabriel Nivasch, Junyan Xu

Browse the full LICS paper archive.