Belyaev V. m-reducibility with informational restrictions

Українська версія

Thesis for the degree of Candidate of Sciences (CSc)

State registration number

0406U001059

Applicant for

Specialization

  • 01.01.08 - Математична логіка, теорія алгоритмів і дискретна математика

13-03-2006

Specialized Academic Board

Д26.001.18

Essay

New type of algorithmic reducibilities, which occurs by the restrictions R1, R0 on the volume of oracle access in m-reductions, is investigated in the dissertation. The lattice L of m-reducibilities with informational restrictions is investigated. The structure of recursively enumerable degrees for m-reducibilities with informational restrictions is studied. A criterion for the structure of unsolvability degrees to be an upper semi-lattice is obtained. The conditions of existence of complete sets are investigated. New characterization of cylinders in terms of m-reducibilities with informational restrictions is obtained.

Files

Similar theses