Elementary differences among jump hierarchies

Li Angsheng

Elementary differences among jump hierarchies

Li Angsheng^*

^*Corresponding author for this work

CAS - Institute of Software

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

It is shown that Th(H₁) ≠ Th(H_n) holds for every n > 1, where H_m is the upper semi-lattice of all high_m computably enumerable (ce.) degrees for m > 0, giving a first elementary difference among the highness hierarchies of the ce. degrees.

Original language	English
Title of host publication	Theory and Applications of Models of Computation - 4th International Conference, TAMC 2007, Proceedings
Pages	79-88
Number of pages	10
State	Published - 2007
Externally published	Yes
Event	4th International Conference on Theory and Applications of Models of Computation, TAMC 2007 - Shanghai, China Duration: 22 May 2007 → 25 May 2007

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4484 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	4th International Conference on Theory and Applications of Models of Computation, TAMC 2007
Country/Territory	China
City	Shanghai
Period	22/05/07 → 25/05/07

Cite this

@inproceedings{1cf67ba024d2415f9f2f3c0d48530f08,

title = "Elementary differences among jump hierarchies",

abstract = "It is shown that Th(H1) ≠ Th(Hn) holds for every n > 1, where Hm is the upper semi-lattice of all highm computably enumerable (ce.) degrees for m > 0, giving a first elementary difference among the highness hierarchies of the ce. degrees.",

author = "Li Angsheng",

year = "2007",

language = "英语",

isbn = "3540725032",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "79--88",

booktitle = "Theory and Applications of Models of Computation - 4th International Conference, TAMC 2007, Proceedings",

note = "4th International Conference on Theory and Applications of Models of Computation, TAMC 2007 ; Conference date: 22-05-2007 Through 25-05-2007",

}

Angsheng, L 2007, Elementary differences among jump hierarchies. in Theory and Applications of Models of Computation - 4th International Conference, TAMC 2007, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4484 LNCS, pp. 79-88, 4th International Conference on Theory and Applications of Models of Computation, TAMC 2007, Shanghai, China, 22/05/07.

Elementary differences among jump hierarchies. / Angsheng, Li.
Theory and Applications of Models of Computation - 4th International Conference, TAMC 2007, Proceedings. 2007. p. 79-88 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4484 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Elementary differences among jump hierarchies

AU - Angsheng, Li

PY - 2007

Y1 - 2007

N2 - It is shown that Th(H1) ≠ Th(Hn) holds for every n > 1, where Hm is the upper semi-lattice of all highm computably enumerable (ce.) degrees for m > 0, giving a first elementary difference among the highness hierarchies of the ce. degrees.

AB - It is shown that Th(H1) ≠ Th(Hn) holds for every n > 1, where Hm is the upper semi-lattice of all highm computably enumerable (ce.) degrees for m > 0, giving a first elementary difference among the highness hierarchies of the ce. degrees.

UR - https://www.scopus.com/pages/publications/35448981800

M3 - 会议稿件

AN - SCOPUS:35448981800

SN - 3540725032

SN - 9783540725039

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 79

EP - 88

BT - Theory and Applications of Models of Computation - 4th International Conference, TAMC 2007, Proceedings

T2 - 4th International Conference on Theory and Applications of Models of Computation, TAMC 2007

Y2 - 22 May 2007 through 25 May 2007

ER -

Elementary differences among jump hierarchies

Abstract

Publication series

Conference

Other files and links

Fingerprint

Cite this