@第{zbMATH03573848条，作者={Selivanov，V.L.}，标题={关于可计算数的两个定理}，FJournal={代数和逻辑}，Journal={代数逻辑}，ISSN={0002-5232}，体积={15}，页码={297--306}，年份＝{1977}，语言={英语}，DOI={10.1007/BF01875946}，关键词={03D25,03G05,06B05}，zbMATH={3573848}，Zbl={0368.02040}}