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 Citation: 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)

###### Files in This Item:
File Description SizeFormatAccess SettingsVersion

OPEN

None

#### Page view(s)

249
checked on Nov 17, 2018