Isomorphism relations on computable structures

Journal of Symbolic Logic 77 (1):122-132 (2012)
  Copy   BIBTEX

Abstract

We study the complexity of the isomorphism relation on classes of computable structures. We use the notion of FF-reducibility introduced in [9] to show completeness of the isomorphism relation on many familiar classes in the context of all ${\mathrm{\Sigma }}_{1}^{1}$ equivalence relations on hyperarithmetical subsets of ω

Other Versions

No versions found

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Analytics

Added to PP
2012-01-21

Downloads
75 (#280,653)

6 months
5 (#1,053,842)

Historical graph of downloads
How can I increase my downloads?

Author Profiles