Skip to main content

Every 1-generic computes a properly 1-generic

  • Barbara F. Csima (a1), Rod Downey (a2), Noam Greenberg (a3), Denis R. Hirschfeldt (a4) and Joseph S. Miller (a5)...

A real is called properly n-generic if it is n-generic but not n + 1-generic. We show that every 1-generic real computes a properly 1-generic real. On the other hand, if m > n ≥ 2 then an m-generic real cannot compute a properly n-generic real.

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? *


Full text views

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

Abstract views

Total abstract views: 88 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 21st August 2018. This data will be updated every 24 hours.