Конструктивный булеан

[ervadi]

Множество перечислимых подмножеств перечислимого множества перечислимо?
Пусть $m$ номер алгоритма порождающего множество $M$.
Перечислимо ли множество ${m_1, m_2,...}$ где $m_i$ номер алгоритма перечисляющего подмножество $M_i$ множества $M$ ?