论文信息 - Power Set Recursion - 字舞流文

Power Set Recursion

Lawrence S. Moss | L. Moss

[1] Leo Harrington,et al. Adding a Closed Unbounded Set , 1976, J. Symb. Log..

[2] Kenneth Kunen,et al. Set Theory: An Introduction to Independence Proofs , 2010 .

[3] Yiannis N. Moschovakis. On the Grilliot-Harrington-MacQueen theorem , 1981 .

[4] R. O. Gandy. General recursive functionals of finite type and hierarchies of functions , 1967 .

[5] R. Shore,et al. SPLITTING AN a-RECURSIVELY ENUMERABLE SET , 2010 .

[6] K. McAloon,et al. Consistency results about ordinal definability , 1971 .

[7] Harvey M. Friedman,et al. Note on admissible ordinals , 1968 .

[8] G. Sacks. Higher recursion theory , 1990 .

[9] Manuel Lerman,et al. Maximal sets in α-recursion theory , 1973 .

[10] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .