Σ2Induction and Infinite Injury Priority Argument, Part I: Maximal Sets and the Jump Operator
C. T. Chong and Yue YangVolume:
63
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2586713
Date:
September, 1998
File:
PDF, 383 KB
english, 1998