Система будет остановлена для регулярного обслуживания. Пожалуйста, сохраните рабочие данные и выйдите из системы.
Browsing by Subject "numbering"
-
Mustafa, M.; Sorbi, Andrea
(2012)
We give a su cient condition for an in nite computable family of 1
a sets, to have computable positive but undecidable numberings, where a
is a notation for a nonzero computable ordinal. This extends a theorem
proved ...