×

Equivalence between Wadge and Lipschitz determinacy. (English) Zbl 1024.03053

Summary: We prove that the determinacy of all Lipschitz games, the determinacy of all Wadge games, and the semi-linear ordering principle for Lipschitz maps are all equivalent.

MSC:

03E60 Determinacy principles
03E15 Descriptive set theory
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] A. Andretta, D.A. Martin, Borel-Wadge degrees, Fund. Math., to appear.; A. Andretta, D.A. Martin, Borel-Wadge degrees, Fund. Math., to appear. · Zbl 1020.03041
[2] Harrington, L., Analytic determinacy and \(0^#\), J. Symbolic Logic, 43, 685-693 (1978) · Zbl 0398.03039
[3] Hjorth, G., \( \textbf{Π}_2^1\) Wadge degrees, Ann. Pure Appl. Logic, 77, 53-74 (1996) · Zbl 0856.03042
[4] Jech, T., Set Theory (1978), Academic Press: Academic Press New York, San Francisco, London · Zbl 0419.03028
[5] Kechris, A. S., Classical Descriptive Set Theory, Graduate Texts in Mathematics, Vol. 156 (1995), Springer: Springer Heidelberg, New York · Zbl 0819.04002
[6] Louveau, A., Some results in the Wadge hierarchy of Borel sets, (Kechris, A. S.; Martin, D. A.; Moschovakis, Y. N., Cabal Seminar 79-81. Cabal Seminar 79-81, Lecture Notes in Mathematics, Vol. 1019 (1983), Springer: Springer Berlin) · Zbl 0535.03026
[7] Louveau, A.; Saint-Raymond, J., The strength of Borel Wadge determinancy, (Kechris, A. S.; Martin, D. A.; Steel, J. R., Cabal Seminar 81-85. Cabal Seminar 81-85, Lecture Notes in Mathematics, Vol. 1333 (1988), Springer: Springer Berlin) · Zbl 1242.03070
[8] Moschovakis, Y. N., Descriptive Set Theory (1980), North-Holland: North-Holland Amsterdam, New York, Oxford · Zbl 0433.03025
[9] Solovay, R. M., The independence of DC from AD, (Kechris, A. S.; Moschovakis, Y. N., Cabal Seminar 76-77. Cabal Seminar 76-77, Lecture Notes in Mathematics, Vol. 689 (1978), Springer: Springer Berlin) · Zbl 0188.32501
[10] J.R. Steel, Determinateness and subsystems of analysis, Ph.D. Thesis, University of California, Berkeley, 1977.; J.R. Steel, Determinateness and subsystems of analysis, Ph.D. Thesis, University of California, Berkeley, 1977.
[11] R. Van Wesep, Subsystems of second-order arithmetic and descriptive set theory under the axiom of determinateness, Ph.D. Thesis, University of California, Berkeley, 1977.; R. Van Wesep, Subsystems of second-order arithmetic and descriptive set theory under the axiom of determinateness, Ph.D. Thesis, University of California, Berkeley, 1977.
[12] Van Wesep, R., Wadge degrees and descriptive set theory, (Kechris, A. S.; Moschovakis, Y. N., Cabal Seminar 76-77. Cabal Seminar 76-77, Lecture Notes in Mathematics, Vol. 689 (1978), Springer: Springer Berlin) · Zbl 1242.03071
[13] W.W. Wadge, Reducibility and determinateness on the baire space, Ph.D. Thesis, University of California, Berkeley, 1983.; W.W. Wadge, Reducibility and determinateness on the baire space, Ph.D. Thesis, University of California, Berkeley, 1983.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.