We say that a real X is n-generic relative to a perfect tree T if X is a path through T and for all $\Sigma _{n}^{0}(T)$ sets S, there exists a number k such that either X|k ∈ S or for all σ ∈ T extending X|k we have σ ∉ S. A real X is n-generic relative to some perfect tree if there exists such a T. We first show that for every number n all but countably many reals (...) are n-generic relative to some perfect tree. Second, we show that proving this statement requires ZFC− + "∃ infinitely many iterates of the power set of ω". Third, we prove that every finite iterate of the hyperjump. ${\cal O}^{(n)}$ , is not 2-generic relative to any perfect tree and for every ordinal α below the least λ such that supβ<i (βth admissible) = λ, the iterated hyperjump ${\cal O}^{(\alpha)}$ is not 5-generic relative to any perfect tree. Finally, we demonstrate some necessary conditions for reals to be 1-generic relative to some perfect tree. (shrink)

We study arithmetic and hyperarithmetic degrees of categoricity. We extend a result of E. Fokina, I. Kalimullin, and R. Miller to show that for every computable ordinal $\alpha$, $\mathbf{0}^{}$ is the degree of categoricity of some computable structure $\mathcal{A}$. We show additionally that for $\alpha$ a computable successor ordinal, every degree $2$-c.e. in and above $\mathbf{0}^{}$ is a degree of categoricity. We further prove that every degree of categoricity is hyperarithmetic and show that the index set of structures with degrees (...) of categoricity is $\Pi_{1}^{1}$-complete. (shrink)

Defining the degree of categoricity of a computable structure ${\mathcal{M}}$ to be the least degree d for which ${\mathcal{M}}$ is d-computably categorical, we investigate which Turing degrees can be realized as degrees of categoricity. We show that for all n, degrees d.c.e. in and above 0 (n) can be so realized, as can the degree 0 (ω).