Бадаев С. А., Подзоров С. Ю.
Минимальные накрытия в полурешетках Роджерса Σ _n⁰-вычислимых нумераций

Исследован вопрос о существовании минимальных и строго минимальных накрытий в полурешетках Роджерса Σ _n⁰-вычислимых нумераций арифметических множеств для n≥2. Найдены два достаточных признака существования минимальных накрытий и одно достаточное условие существования строго минимальных накрытий. Полностью решен вопрос о минимальных накрытиях в полурешетках Роджерса для конечных семейств арифметических множеств.

Badaev S. A., Podzorov S. Yu.
Minimal coverings in the Rogers semilattices of Σ _n⁰-computable numberings

Under study is the problem of existence of minimal and strong minimal coverings in Rogers semilattices of Σ _n⁰-computable numberings for n≥2. Two sufficient conditions for existence of minimal coverings and one sufficient condition for existence of strong minimal coverings are found. The problem is completely solved of existence of minimal coverings in Rogers semilattices of Σ _n⁰-computable numberings of a finite family.

Полный текст статьи / Full texts:

• PDF file (420 KB)
• PostScript file (815 KB)