Assigning an isomorphism type to a hyperdegree

Journal of Symbolic Logic 85 (1):325-337 (2020)
  Copy   BIBTEX

Abstract

Let L be a computable vocabulary, let X_L be the space of L-structures with universe ω and let f:2^\omega \rightarrow X_L be a hyperarithmetic function such that for all x,y \in 2^\omega, if x \equiv _h y then f(x) \cong f(y). One of the following two properties must hold. (1) The Scott rank of f(0) is \omega _1^{CK} + 1. (2) For all x \in 2^\omega, f(x) \cong f(0).

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2019-12-11

Downloads
28 (#808,576)

6 months
5 (#1,071,419)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references