The unwinding that Cook (J. Symbol. Log. 69(3), 767–774 2004) proposed is a simple but powerful method of generating new paradoxes from known ones. This paper extends Cook's unwinding to a larger ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback