called ''priority argument'' method primarily used construct computably enumerable sets particular properties use method desired properties set constructed broken infinite list goals known ' 'requirements'' satisfying requirements cause set constructed desired properties requirement assigned natural number representing priority requirement assigned important priority second important set constructed
Formal science Computer science Theory of computation Computability theory