The recursively enumerable sets, although not decidable in general, have been studied in detail in recursion theory.
Mulțimile recursiv enumerabile, deși nu sunt decidabile în general, au fost studiate în detaliu în teoria calculabilității.