How unprovable is Rabin's decidability theorem?

Leszek Aleksander Kolodziejczyk, Henryk Michalewski

Browse the full LICS paper archive.