Abstract
Hjorth (Variations on Scott, 1998; The fine structure and Borel complexity of orbits, 2010) introduced a Scott analysis for general Polish group actions, and asked whether his notion of rank satisfies a boundedness principle similar to the one of Scott rank—namely, if the orbit equivalence relation is Borel, then Hjorth ranks are bounded. We answer Hjorth’s question positively. As a corollary we prove the following conjecture of Hjorth—for every limit ordinal \(\alpha \), the set of elements whose orbit is of complexity less than \(\alpha \) is a Borel set.
Similar content being viewed by others
References
Becker, H., Kechris, A.S.: The Descriptive Set Theory of Polish Group Actions. London Mathematical Society Lecture Notes Series, Cambridge (1996)
Drucker, O.: On Hjorth Analysis of General Polish Actions. Master Thesis (2011)
Gao, S.: Invariant Descriptive Set Theory. Pure and Applied Mathematics. Chapman & Hall/CRC, Boca Raton (2009)
Hjorth, G.: Variations on Scott. http://www.math.ucla.edu/~greg/variations.ps (1998)
Hjorth, G.: Classification and Orbit Equivalence Relations. American Mathematical Society, Rhode Island (2000)
Hjorth, G.: The Fine Structure and Borel Complexity of Orbits. http://www.math.ucla.edu/~greg/fineorbits.pdf (2010)
Kechris, A.S.: Classical Descriptive Set Theory, Graduate Texts in Mathematics, vol. 156. Springer, New York (1995)
Marker, D.: Descriptive Set Theory. http://homepages.math.uic.edu/~marker/math512/dst.pdf (2002)
Nadel, N.: Scott sentences and admissible sets. Ann. Math. Log. 7, 267–294 (1974)
Scott, D.: Logic with denumerably long formulas and finite strings of quantifiers. In: Proceedings, 1963 Berkeley Symposium on Theory of Models, North-Holland, Amsterdam, pp. 329–341 (1965)
Scott, D.: Invariant Borel sets. Fundam. Math. 56, 117–128 (1964)
Acknowledgements
This paper is based on the master thesis of the author [2], written under the supervision of Menachem Magidor. The author wishes to thank him for his patient guidance, insightful views, and outstanding intuition, all invaluable for this work. The author thanks the referee for careful reading of the manuscript and many insightful comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This paper is part of the author’s master thesis written in the Hebrew University of Jerusalem under the supervision of Prof. Menachem Magidor.
Rights and permissions
About this article
Cite this article
Drucker, O. A boundedness principle for the Hjorth rank. Arch. Math. Logic 61, 223–232 (2022). https://doi.org/10.1007/s00153-021-00788-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-021-00788-1