Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/14945
Title: Some properties of D.C.E. reals and their degrees
Authors: NG KENG MENG
Keywords: Effective analysis; Computable reals; Computably enumerable reals; D.C.E. reals; Real closed field; Turing degree
Issue Date: 23-Sep-2005
Source: NG KENG MENG (2005-09-23). Some properties of D.C.E. reals and their degrees. ScholarBank@NUS Repository.
Abstract: In effective analysis, various sub-classes of real numbers are discussed, and effective versions of classical results on the analysis of real numbers are studied. The computable reals, and the computably enumerable (c.e.) reals are perhaps the more fundamental classes, and are identified by their (weak) computable properties. It is known that the c.e. reals are not closed under the arithmetic operations, and when we take the field generated by the c.e. reals (which are the d.c.e. reals), we get a new sub-class of reals with interesting properties. We will show that the d.c.e. reals not only forms an algebraic field, but is also a real closed field, hence has a decidable theory. Some properties of Turing degrees are also examined. In particular, we show that every jump class contains a degree free of d.c.e. reals, and hence contains a degree that is not \omega-r.e.
URI: http://scholarbank.nus.edu.sg/handle/10635/14945
Appears in Collections:Master's Theses (Open)

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
NgKM.pdf301.82 kBAdobe PDF

OPEN

NoneView/Download

Page view(s)

229
checked on Dec 18, 2017

Download(s)

110
checked on Dec 18, 2017

Google ScholarTM

Check


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