« first day (2654 days earlier)      last day (1245 days later) » 

YCor
YCor
7:50 AM
@MartinSleziak I unabbreviated to recursive-enumerability-above (by replacing the tag and copying the tag excerpt)
 
 
2 hours later…
Martin Sleziak
Martin Sleziak
9:21 AM
new-tag recursive-enumerability-above - see above. Here is link to the tag-excerpt.
1
Q: Generality of construction for $\omega$-REA arithmetic degrees

Peter GerdesSo a common method used to construct non-zero $\omega$-REA arithmetic degrees with various properties is to build an $\omega$-REA operator $J$ satisfying the constraints that (for all $X$) $$\tag{1} J(X') \equiv_T J(X) \oplus X'$$ $$\tag{2} J(X) >_T X$$ Inductively, 1 implies that $J(X^n) \equiv_...

lo.logic computability-theory recursively-enumerable recursive-enumerability-above
 

« first day (2654 days earlier)      last day (1245 days later) »