论文信息 - Fine hierarchy and definable index sets - 字舞流文

Fine hierarchy and definable index sets

V. L. Selivanov

[1] Victor L. Selivanov. Index-Sets of Factor-Objects of the Post Numbering , 1987, FCT.

[2] V. L. Selivanov,et al. Index sets of quotient objects of the post numeration , 1988 .

[3] V. L. Selivanov. Hierearchies of hyperarithmetical sets and functions , 1983 .

[4] V. L. Selivanov. Refined hierarchy of formulas , 1991 .

[5] V. L. Selivanov. Index sets of classes of hyper-hypersimple sets , 1990 .

[6] A. H. Lachlan,et al. Recursively enumerable many-one degrees , 1972 .

[7] W. Hanf. The Boolean algebra of logic , 1975 .

[8] V. Selivanov. Application of precomplete enumerations to tabular-type degrees and index sets , 1989 .