Uniformization in a playful universe
暂无分享,去创建一个
[1] Richard Mansfield,et al. A souslin operation for Π21 , 1971 .
[2] Yiannis N. Moschovakis,et al. Determinacy and Prewellorderings of the Continuum , 1970 .
[3] Donald A. Martin,et al. A Basis Theorem for ∑ 1 3 Sets of Reals , 1969 .
[4] Dana S. Scott,et al. The axiom of determinateness and reduction principles in the analytical hierarchy , 1968 .
[5] Y. Moschovakis,et al. Some consequences of the axiom of definable determinateness. , 1968, Proceedings of the National Academy of Sciences of the United States of America.
[6] Joseph R. Shoenfield,et al. Mathematical logic , 1967 .