The Logical Strength of Bchi's Decidability Theorem.

Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Ccilia Pradic, Michal Skrzypczak

Browse the full CSL paper archive.