Skip to main content
MathOverflow

Return to Question

Bumped by Community user
fixed misprints
Source Link
edit approved Oct 1, 2021 at 5:48
markvs
edit approved Oct 1, 2021 at 5:48
markvs
  • 1.8k
  • 1
  • 11
  • 25

Is set of the indexsindices of c.e.sets that cover a productive set also productive one?

Given a productive set, there is a collection of c.e. sets union of which is the productive set, as we know that every c.e. set is with a c.e. function with a index. My question: is the set of the indexsindices of c.e.sets that cover a productive set also productive one?

Is set of the indexs of c.e.sets that cover a productive set also productive one?

Given a productive set, there is a collection of c.e. sets union of which is the productive set, as we know that every c.e. set is with a c.e. function with a index. My question: is set of the indexs of c.e.sets that cover a productive set also productive one?

Is set of the indices of c.e.sets that cover a productive set also productive one?

Given a productive set, there is a collection of c.e. sets union of which is the productive set, as we know that every c.e. set is with a c.e. function with a index. My question: is the set of the indices of c.e.sets that cover a productive set also productive one?

Source Link
XL _At_Here_There
XL _At_Here_There
  • 3.1k
  • 17
  • 31

Is set of the indexs of c.e.sets that cover a productive set also productive one?

Given a productive set, there is a collection of c.e. sets union of which is the productive set, as we know that every c.e. set is with a c.e. function with a index. My question: is set of the indexs of c.e.sets that cover a productive set also productive one?