Computable categoricity of trees of finite height
Steffen Lempp, Charles F. D. McCoy, Russell Miller, Reed Solomon · Journal of Symbolic Logic · 2005
Abstract We characterize the structure of computably categorical trees of finite height, and prove that our criterion is both necessary and sufficient. Intuitively, the characterization is easiest to express in terms of isomorphisms of (possibly infinite) trees, but in fact it is equivalent to a -condition. We show that all trees which are not computably categorical have computable dimension ω. Finally, we prove that for every n ≥ 1 in ω, there exists a computable tree of finite height which is Σ30-categorical but not Δn3-categorical