Hjorth Analysis of General Polish Group Actions

Hjorth has introduced a Scott analysis for general Polish group actions, and has asked whether his notion of rank satisfies a boundedness principle similar to the one of Scott rank - namely, the orbit equivalence relation is Borel if and only if Hjorth ranks are bounded. We present the principles of Hjorth analysis and Hjorth rank, and answer Hjorth's question positively. From that we get a positive answer to a conjecture due to Hjorth - for every limit ordinal $\alpha$ , the set of elements whose orbit is of complexity less than $\alpha$ is a Borel set. We then show Nadel's theorem for Hjorth rank - the rank of $x$ is no more than $\omega_{1}^{ck(x)}$.