Computable Numberings of Families of Infinite Sets

Результат исследования: Научные публикации в периодических изданияхстатья

Аннотация

We state the following results: the family of all infinite computably enumerable sets has no computable numbering; the family of all infinite Π11 sets has no Π11 -computable numbering; the family of all infinite Σ21 sets has no Σ21 -computable numbering. For k > 2, the existence of a Σk1 -computable numbering for the family of all infinite Σk1 sets leads to the inconsistency of ZF.

Язык оригиналаанглийский
Страницы (с-по)224-231
Число страниц8
ЖурналAlgebra and Logic
Том58
Номер выпуска3
DOI
СостояниеОпубликовано - 1 июл 2019

Fingerprint Подробные сведения о темах исследования «Computable Numberings of Families of Infinite Sets». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать