Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms

Abstract

The notion of superhigh computably enumerable (c.e.) degrees was first introduced by Mohrherr in [7], where she proved the existence of incomplete superhigh c.e. degrees, and high, but not superhigh, c.e. degrees. Recent research shows that the notion of superhighness is closely related to algorithmic randomness and effective measure theory. Jockusch and Mohrherr proved in [4] that the diamond lattice can be embedded into the c.e. tt-degrees preserving 0 and 1 and that the two atoms can be low. In this paper, we prove that the two atoms in such embeddings can also be superhigh.

DOI: 10.1007/978-3-642-02017-9_44

Extracted Key Phrases

Cite this paper

@inproceedings{Cenzer2009EmbeddingTD, title={Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms}, author={Douglas A. Cenzer and Johanna N. Y. Franklin and Jiang Liu and Guohua Wu}, booktitle={TAMC}, year={2009} }