Scott Ranks of Classifications of the Admissibility Equivalence Relation
Skip to main content
eScholarship
Open Access Publications from the University of California

UCLA

UCLA Previously Published Works bannerUCLA

Scott Ranks of Classifications of the Admissibility Equivalence Relation

  • Author(s): Chan, William
  • Harrison-Trainor, Matthew
  • Marks, Andrew
  • et al.
Abstract

Let $\mathscr{L}$ be a recursive language. Let $S(\mathscr{L})$ be the set of $\mathscr{L}$-structures with domain $\omega$. Let $\Phi : {}^\omega 2 \rightarrow S(\mathscr{L})$ be a $\Delta_1^1$ function with the property that for all $x,y \in {}^\omega 2$, $\omega_1^x = \omega_1^y$ if and only if $\Phi(x) \approx_{\mathscr{L}} \Phi(y)$. Then there is some $x \in {}^\omega 2$ so that $\mathrm{SR}(\Phi(x)) = \omega_1^x + 1$.

Many UC-authored scholarly publications are freely available on this site because of the UC's open access policies. Let us know how this access is important for you.

Main Content
Current View