Priority method

Summary

The priority method is a technique to build computably enumerable sets with prescribed properties. The desired property is split into infinitely many requirements, ordered by priority, and the set is built in stages. When requirements conflict, the one of higher priority wins, and a requirement that loses is injured and starts again. It was introduced to solve Post's problem and is the main tool for constructions in the theory of Turing degrees.