Beyond Borel-amenability: scales and superamenable reducibilities (Q636323)

Given a set of functions \(\mathcal F\) on \(\mathbb R\), there is a natural notion of \(\mathcal F\)-degree of sets of reals. In his previous paper [``Borel-amenable reducibilities for sets of reals'', J. Symb. Log. 74, No. 1, 27--49 (2009; Zbl 1177.03048)], the author has shown that under determinacy assumptions, for certain ``well-behaved'' (amenable) collection of Borel functions \(\mathcal F\), the hierarchy of \(\mathcal F\)-degrees looks like the Wadge hierarchy, which is induced by the set of continuous functions. In this paper, the author extends these results to larger point-classes, projective and beyond, but limited to so-called tractable point-classes. A point-class \(\Gamma\) is tractable if it is existential, has the uniformization property and either \(\Gamma\) or \(\check\Gamma\) (its dual) is scaled. More explicitly, under appropriate determinacy assumptions, if \(\Gamma\) is tractable, then the hierarchy of \({\mathcal F}_\Gamma\)-degrees, where \({\mathcal F}_\Gamma\) is the collection of functions in \(\Gamma\), is as follows: it is a pre-wellorder of length \(\Theta\), the supremum of the lengths of all definable pre-wellorderings of the reals, non-self-dual pairs and self-dual degrees appear alternatively, at limit levels of cofinality \(<\delta_\Gamma\) there is a self-dual degree, and at limit levels of cofinality \(\geq \delta_\Gamma\) there is a non-self-dual pair. Here, \(\delta_\Gamma\) is the supremum of the lengths of all pre-wellorderings of the reals that are in \(\Gamma \cap \check\Gamma\). About tractable point-classes, here are some important points: If \(\delta\) is a limit of Woodin cardinals then \(\Gamma^{\text{WH}}_{<\delta}\), the collection of \((<\delta)\)-weakly homogeneous Suslin sets, is tractable; under \(\mathrm{AD}+V=L({\mathbb R})\), \(\Sigma^2_1\) is the maximal tractable point-class; while under \(\mathrm{AD}_{\mathbb R}\), there are tractable point-classes of arbitrarily high complexity (in terms of Wadge degrees).