Skip to main content

All Questions

Filter by
Sorted by
Tagged with
9 votes
1 answer
739 views

Can the Turing degrees be linearly ordered?

Assuming the axiom of choice, every set can be linearly (indeed, well-) ordered. However, without choice this can fail, as witnessed most drastically by the consistency of amorphous sets. More ...
Noah Schweber's user avatar
9 votes
2 answers
1k views

Martin's cone theorem and recursion theory

Martin's remarkable cone theorem in the theory of determinacy says the following: Suppose $A\subseteq \omega^\omega$ is Turing invariant and determined. If $\forall x\exists y(x\le_T y\& y\in ...
Andrés E. Caicedo's user avatar
2 votes
0 answers
118 views

Uniformization and functions on Turing degrees

Assuming Martin's Conjecture on functions between Turing degrees, is AD + DC consistent with existence of an $f:\mathcal{D}_t → \mathcal{D}_t$ of rank $Θ$ ? $\mathcal{D}_t$ is the set of Turing ...
Dmytro Taranovsky's user avatar