A technique for proving uniformity
HTML articles powered by AMS MathViewer
- by Howard Becker PDF
- Proc. Amer. Math. Soc. 90 (1984), 103-106 Request permission
Abstract:
We introduce a general technique for showing that if various properties hold, then they hold uniformly, assuming some determinacy. Uniform means in the boldface sense, that is, there are continuous functions taking indices to indices. For example, if $\Gamma$ is a parametrized pointclass then all closure properties of $\Delta$ are uniform, and the separation property for $\Gamma$ implies uniform separation.References
-
A. S. Kechris, personal communication.
- A. S. Kechris and D. A. Martin, On the theory of $P^{1}_{3}$ sets of reals, Bull. Amer. Math. Soc. 84 (1978), no.ย 1, 149โ151. MR 465867, DOI 10.1090/S0002-9904-1978-14447-4
- A. Louveau, Borel sets and the analytical hierarchy, Proceedings of the Herbrand symposium (Marseilles, 1981) Stud. Logic Found. Math., vol. 107, North-Holland, Amsterdam, 1982, pp.ย 209โ215. MR 757030, DOI 10.1016/S0049-237X(08)71885-8 D. A. Martin, Borel and protective games (to appear).
- Yiannis N. Moschovakis, Descriptive set theory, Studies in Logic and the Foundations of Mathematics, vol. 100, North-Holland Publishing Co., Amsterdam-New York, 1980. MR 561709 โ, Lecture notes, Cornell Recursion Theory Conf., 1982.
- John R. Steel, Closure properties of pointclasses, Cabal Seminar 77โ79 (Proc. Caltech-UCLA Logic Sem., 1977โ79) Lecture Notes in Math., vol. 839, Springer, Berlin-New York, 1981, pp.ย 147โ163. MR 611171
- Robert Van Wesep, Wadge degrees and descriptive set theory, Cabal Seminar 76โ77 (Proc. Caltech-UCLA Logic Sem., 1976โ77) Lecture Notes in Math., vol. 689, Springer, Berlin, 1978, pp.ย 151โ170. MR 526917
Additional Information
- © Copyright 1984 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 90 (1984), 103-106
- MSC: Primary 03D55; Secondary 03E15, 03E60, 04A15
- DOI: https://doi.org/10.1090/S0002-9939-1984-0722425-8
- MathSciNet review: 722425