加载中…
We consider highness in the context of computable structure theory and, particularly, the Scott rank of a structure. We define highness for Scott rank and highness for computably defined Scott rank and characterize them in terms of the ability to compute sets for appropriate . We close with a discussion of the index sets of structures with a given Scott rank or computably defined Scott rank and a few words about highness for noncomputable Scott ranks.

生成讲解博客的中文版本

生成AI智能校验的中文版本