40 citations · 49 across the 10 of their papers we have counts for
1 paper · 2 filters
Leszek Aleksander Kołodziejczyk, Henryk Michalewski
We study the strength of set-theoretic axioms needed to prove Rabin's theorem on the decidability of the MSO theory of the infinite binary tree. We first show that the complementat…