Система будет остановлена для регулярного обслуживания. Пожалуйста, сохраните рабочие данные и выйдите из системы.
Browsing 13.Materials of Forums, Conferences and Projects by Subject "elements"
-
Mustafa, M.
(Nazarbayev University, 2014)
The reductions constructed permit to give various alternative proofs to known results
about d.r.e. and, in general,a-r.e. numberings. For example, one can show that for every recursive ordinal
a which is not an w-power ...