A diamond embedding in the computably enumerable quasi degrees
Abstract We investigate the relationship between $$\le _{Q}$$ ≤ Q and $$\le _{T}$$ ≤ T on the computably enumerable sets by asking what kind of lattices can be embedded in the computably enumerable Q degrees, with elements of the lattice in the same Turing degree. We will use a pinball machine to show that the diamond lattice can be embedded in the computably enumerable Q degrees, with all elements of the lattice in the same Turing degree.
Authors
- Keng Meng Ng (ORCID: https://orcid.org/0000-0002-7113-0596)
- Kai Jun Khoo
Institutions
- Nanyang Technological University (SG)
- Victoria University of Wellington (NZ)
Publication Details
- Journal
- Archive for Mathematical Logic
- Published
- 2026-10-29
- DOI
- https://doi.org/10.1007/s00153-026-01037-z
- Primary Topic
- Computability, Logic, AI Algorithms
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Ministry of Education - Singapore
- Victoria University of Wellington
- Ministry of Education, India