Skip to main content
×
Home
    • Aa
    • Aa

Recursive in a generic real

  • Juichi Shinoda (a1) and Theodore A. Slaman (a2)
Abstract
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.

Copyright
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 4 *
Loading metrics...

Abstract views

Total abstract views: 36 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 23rd September 2017. This data will be updated every 24 hours.