Please use this identifier to cite or link to this item: https://doi.org/10.2178/jsl/1164060453
Title: On Σ1-structural differences among finite levels of the Ershov hierarchy
Authors: Yang, Y. 
Yu, L.
Issue Date: Dec-2006
Citation: Yang, Y., Yu, L. (2006-12). On Σ1-structural differences among finite levels of the Ershov hierarchy. Journal of Symbolic Logic 71 (4) : 1223-1236. ScholarBank@NUS Repository. https://doi.org/10.2178/jsl/1164060453
Abstract: We show that the structure ℛ of recursively enumerable degrees is not a Σ1-elementary substructure of script Dn, where script Dn (n > 1) is the structure of n-r.e. degrees in the Ershov hierarchy. © 2006, Association for Symbolic Logic.
Source Title: Journal of Symbolic Logic
URI: http://scholarbank.nus.edu.sg/handle/10635/103858
ISSN: 00224812
DOI: 10.2178/jsl/1164060453
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.