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 ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback