On One-to-One Numberings of the Family of All Σ21 -Sets

Research output: Contribution to journalArticlepeer-review

Abstract

We prove that for the second level analytical hierarchy there are no a one-to-one Σ21-computable numbering of the family of all Σ21-sets.

Original languageEnglish
Pages (from-to)788–792
Number of pages5
JournalJournal of Mathematical Sciences (United States)
Volume246
Issue number6
DOIs
Publication statusPublished - 1 May 2020

Fingerprint

Dive into the research topics of 'On One-to-One Numberings of the Family of All Σ21 -Sets'. Together they form a unique fingerprint.

Cite this