The strength of the projective Martin conjecture
暂无分享,去创建一个
[1] John R. Steel. A Classification of Jump Operator , 1982, J. Symb. Log..
[2] Galen Weitkamp,et al. Recursive Aspects of Descriptive Set Theory , 1985 .
[3] G. Sacks. Higher recursion theory , 1990 .
[4] James E. Baumgartner. Review: J. W. Addison, Yiannis N. Moschovakis, Some Consequences of the Axiom of Definable Determinateness; Donald A. Martin, The Axiom of Determinateness and Reduction Principles in the Analytical Hierarchy , 1973 .
[5] Leo Harrington,et al. Analytic determinacy and 0# , 1978, Journal of Symbolic Logic.
[6] Theodore A. Slaman,et al. Definable functions on degrees , 1988 .
[7] D. A. Martin,et al. The axiom of determinateness and reduction principles in the analytical hierarchy , 1968 .
[8] Y. Moschovakis. Descriptive Set Theory , 1980 .