#### Filter Results:

- Full text PDF available (2)

#### Publication Year

2007

2008

- This year (0)
- Last 5 years (0)
- Last 10 years (3)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- MARIA L. AFFATATO, THOMAS F. KENT, ANDREA SORBI, Lachlan Nondiamond
- 2007

We give an alternative and more informative proof that every nontrivial Σ2-enumeration degrees is the meet of two incomparable Σ 0 2-degrees, which allows us to show the stronger result that for every incomplete Σ2enumeration degree a, there exist enumeration degrees x1 and x2 such that a, x1, x2 are incomparable, and for all b ≤ a, b = (b ∪ x1) ∩ (b ∪ x2).

We show that the first order theory of the Σ2 s-degrees is undecidable. Via isomorphism of the s-degrees with the Q-degrees, this also shows that the first order theory of the Π2 Q-degrees is undecidable. Together with a result of Nies, the proof of the undecidability of the Σ2 s-degrees yields a new proof of the known fact (due to Downey, LaForte and Nies)… (More)

- Maria L. Affatato, Thomas F. Kent, Andrea Sorbi
- Arch. Math. Log.
- 2008

- ‹
- 1
- ›