Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2412.01939 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- A longstanding question is to characterize the lattice of supersets (modulo finite sets), $\mathcal{L}^*(A)$, of a low$_2$ computably enumerable (c.e.) set. The conjecture is that $\mathcal{L}^*(A)\cong {\mathcal E}^*$. In spite of claims in the literature, this longstanding question/conjecture remains open. We contribute to this problem by solving one of the main test cases. We show that if c.e.\ $A$ is low$_2$ then $A$ has an atomless hyperhypersimple superset. In fact, if $A$ is c.e.\ and low$_2$, then for any $Σ_3$-Boolean algebra~$B$ there is some c.e.\ $H\supseteq A$ such that $\mathcal{L}^*(H)\cong B$.