Hostname: page-component-cd9895bd7-lnqnp Total loading time: 0 Render date: 2024-12-28T03:14:15.419Z Has data issue: false hasContentIssue false
  • English
  • Français

Recursive in a generic real

Published online by Cambridge University Press:  12 March 2014

Juichi Shinoda  and
Theodore A. Slaman
Juichi Shinoda
Affiliation:
Graduate School of Human Informatics, Nagoya University, Nagoya 464-01Japan, E-mail: [email protected]
Theodore A. Slaman
Affiliation:
Department of Mathematics, University of California, Berkeley, CA94720, E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

There is a comeager set contained in the set of 1-generic reals and a first order structure such that for any real number X. there is an element of which is recursive in X if and only if there is a presentation of which is recursive in X.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 65 , Issue 1 , March 2000 , pp. 164 - 172
Copyright
Copyright © Association for Symbolic Logic 2000

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Slaman, T. A., Relative to any nonrecursive set, Preprint, 1996.Google Scholar
[2]Wehner, S., Enumerations, countable structures and degrees, Preprint, 1996.Google Scholar