Olivier Finkel. Incompleteness Theorems, Large Cardinals, and Automata over Finite Words. In T. V. Gopal, Gerhard Jäger, Silvia Steila, editors, Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings. Volume 10185 of Lecture Notes in Computer Science, pages 231-246, 2017. [doi]