Order-preserving maps of the Turing degrees: regularity and consistency strength TTNKABAYVB

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
4Y2PJYF1SB	statement	corollary 3.3	arxiv
Consistency strength	statement	theorem 1.4	arxiv
Continuous restriction	statement	lemma 2.3	arxiv
7JEK2QSKHD	definition	definition 2.4	arxiv
7THBSR6M8F	statement	theorem 1.2	arxiv
Countable range and cone constancy	statement	lemma 2.5	arxiv
A single code for a continuous map	statement	lemma 2.1	arxiv
Cantor subsets	statement	lemma 2.2	arxiv
The obstruction at $\omega_1^{L[r]}=\omega_1$	statement	theorem 6.2	arxiv
The choiceless Solovay model	statement	corollary 5.2	arxiv
Groszek--Slaman	statement	theorem 3.1	arxiv
Continuous coding of a perfect family of outputs	statement	proposition 4.1	arxiv
Countable directedness	statement	lemma 2.6	arxiv
Lutz and Siskind	statement	theorem 5.1	arxiv
Domination with one fixed code	statement	proposition 4.2	arxiv
The lower consistency bound	statement	corollary 6.4	arxiv
QJZX4DV6XP	definition	definition 1.1	arxiv
Proposition 11.5, p. 135	statement	lemma 6.3	arxiv
Countable fibers after normalization	statement	corollary 4.3	arxiv
Uniform covering from relative highness, Jockusch	statement	lemma 3.2	arxiv
XPXTET7GKZ	definition	definition 6.1	arxiv
Removing the fixed code	statement	lemma 4.4	arxiv