Please use this identifier to cite or link to this item:
DC FieldValue
dc.titleSome properties of D.C.E. reals and their degrees
dc.contributor.authorNG KENG MENG
dc.identifier.citationNG KENG MENG (2005-09-23). Some properties of D.C.E. reals and their degrees. ScholarBank@NUS Repository.
dc.description.abstractIn 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.
dc.subjectEffective analysis; Computable reals; Computably enumerable reals; D.C.E. reals; Real closed field; Turing degree
dc.contributor.supervisorYANG YUE
dc.description.degreeconferredMASTER OF SCIENCE
Appears in Collections:Master's Theses (Open)

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



Page view(s)

checked on May 11, 2019


checked on May 11, 2019

Google ScholarTM


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