elementary differences among jump hierarchies

	elementary differences among jump hierarchies
	Li Angsheng
	2007
会议名称	4th International Conference on Theory and Applications of Models of Computation
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	79-88
会议日期	MAY 22-25,
会议地点	Shanghai, PEOPLES R CHINA
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	Theory and Applications of Models of Computation, Proceedings
ISSN	0302-9743
ISBN	978-3-540-72503-9
部门归属	Acad Sinica, Inst Software, State Key Lab Comp Sci, Beijing 100080, Peoples R China.
摘要	It is shown that Th(H-1) not equal Th(H-n) holds for every n > 1, where H_ is the upper semi-lattice of all high(m) computably enumerable (c.e.) degrees for m > 0, giving a first elementary difference among the highness hierarchies of the c.e.
关键词	Chemical Compounds Computational Methods Crystal Lattices Electron Energy Levels
主办者	Fudan Univ, Software Sch, Univ Leeds, Univ Wisconsin
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/11092
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Li Angsheng. elementary differences among jump hierarchies[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:Theory and Applications of Models of Computation, Proceedings,2007:79-88.