The Finite Injury Method
A positive solution to Post’s problem was finally achieved by Friedberg in [Friedberg 1957] and independently by Muchnik in [Muchnik 1956], who built c.e. sets A and B of incomparable (Turing) degree. Friedberg then produced other results on c.e. sets in [Friedberg 1957b], [Friedberg 1957c] and [Friedberg 1958].
KeywordsBasic Module Computable Function Computable Enumeration Computable Sequence Priority Requirement
Unable to display preview. Download preview PDF.