{"title":"Weak Density and Nondensity among Transfinite Levels of the Ershov Hierarchy","authors":"Yong Liu, Cheng Peng","doi":"10.1215/00294527-2020-0023","DOIUrl":null,"url":null,"abstract":"We show that for any ω-r.e. degree d and n-r.e. degree b with d<b, there is an (ω+1)-r.e. degree a strictly between d and b. We also show that there is a maximal incomplete (ω+1)-r.e. degree. As a corollary, Dω is not a Σ1-elementary substructure of Dω+1.","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1215/00294527-2020-0023","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
We show that for any ω-r.e. degree d and n-r.e. degree b with d