Incompleteness Theorems, Large Cardinals, and Automata over Finite Words.

Olivier Finkel

Browse the full TAMC paper archive.