Document Preview Unavailable
The logical strength of Büchi's decidability theorem
Kołodziejczyk, Leszek; Michalewski, Henryk; Pradic, Cécilia; Skrzypczak, Michał. arXiv.org, May 22, 2019.You might have access to this document
-
Try and log in through your institution to see if they have access to the full text.
Log in through your library