论文信息 - An Alternative, Priority-Free, Solution to Post's Problem - 字舞流文

An Alternative, Priority-Free, Solution to Post's Problem

Antonín Kucera | Antonín Kucera | A. Kucera

[1] Emil L. Post. Recursively enumerable sets of positive integers and their decision problems , 1944 .

[2] Michael Stob. Index Sets and Degrees of Unsolvability , 1982, J. Symb. Log..

[3] R. Soare,et al. Π⁰₁ classes and degrees of theories , 1972 .

[4] R. Friedberg,et al. TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944). , 1957, Proceedings of the National Academy of Sciences of the United States of America.

[5] A. Kucera. Measure, Π10-classes and complete extensions of PA , 1985 .

[6] H. Keisler,et al. Handbook of mathematical logic , 1977 .

[7] Robert I. Soare,et al. Degrees of members of Π10 classes , 1972 .

[8] Wolfgang Maass. Recursively Enumerable Generic Sets , 1982, J. Symb. Log..

[9] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .