The axiom of determinateness and reduction principles in the analytical hierarchy
HTML articles powered by AMS MathViewer
- by Donald A. Martin PDF
- Bull. Amer. Math. Soc. 74 (1968), 687-689
References
- J. W. Addison, Separation principles in the hierarchies of classical and effective descriptive set theory, Fund. Math. 46 (1959), 123–135. MR 131357, DOI 10.4064/fm-46-2-123-135
- J. W. Addison and Yiannis N. Moschovakis, Some consequences of the axiom of definable determinateness, Proc. Nat. Acad. Sci. U.S.A. 59 (1968), 708–712. MR 221927, DOI 10.1073/pnas.59.3.708
- David Blackwell, Infinite games and analytic sets, Proc. Nat. Acad. Sci. U.S.A. 58 (1967), 1836–1837. MR 221466, DOI 10.1073/pnas.58.5.1836
- Jan Mycielski, On the axiom of determinateness, Fund. Math. 53 (1963/64), 205–224. MR 161787, DOI 10.4064/fm-53-2-205-224
- Hartley Rogers Jr., Theory of recursive functions and effective computability, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1967. MR 0224462
Additional Information
- Journal: Bull. Amer. Math. Soc. 74 (1968), 687-689
- DOI: https://doi.org/10.1090/S0002-9904-1968-11995-0
- MathSciNet review: 0227022