论文信息 - Constructive and recursive scattered order types - 字舞流文

Constructive and recursive scattered order types

Richard Watnick

[1] F. Hausdorff,et al. Grundzüge einer Theorie der geordneten Mengen , 1908 .

[2] A. Pinus. Efficient linear orders , 1975 .

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

[4] L. Hay,et al. Small recursive ordinals, many-one degrees, and the arithmetical difference hierarchy , 1975 .