Impact
~15k
people reached
- 0 posts edited
- 0 helpful flags
- 43 votes cast
Jan
11 |
comment |
Finding limit-nondecreasing sets for certain functions
Just a comment. If you take $F$ as Kolmgorov complexity, then any such $X$ computes a $DNR$-function. |
Nov
2 |
awarded | Nice Question |
Oct
30 |
revised |
Extending an infinite simple group
added 223 characters in body |
Oct
30 |
accepted | Extending an infinite simple group |
Oct
30 |
comment |
Extending an infinite simple group
I think this is sufficient to answer my question. |
Oct
30 |
comment |
Extending an infinite simple group
If this argument works, then by a Skolemization including $H$, it holds for any cardinal $\kappa\geq|H|$. |
Oct
30 |
asked | Extending an infinite simple group |
Oct
13 |
comment |
Woodin on Posner-Robinson for the hyperjump and sharp
Ted may have a proof for Turing degrees for the HYP version by Kumabe-Slaman forcing. |
Oct
3 |
comment |
Non null Turing antichain
@Ashutosh I think it is true by Csima, Downey, Greenberg, Hirschfeldt, and Miller's result in the paper " Every 1-generic computes a properly 1-generic, The Journal of Symbolic Logic, 71:1385–1393, 2006." |
Sep
23 |
comment |
Non null Turing antichain
It was closed by CT and me. But the proof is pretty involved (We used a lot of results from higher randomness). |
Sep
23 |
revised |
Non null Turing antichain
deleted 1 character in body |
Sep
23 |
revised |
Non null Turing antichain
added 8 characters in body |
Sep
22 |
comment |
Non null Turing antichain
You are right. It fails under $CH$. Actually we need $MA_{\aleph_1}$ to prove it. |
Sep
22 |
revised |
Non null Turing antichain
deleted 7 characters in body |
Sep
22 |
awarded | Nice Answer |
Sep
22 |
revised |
Non null Turing antichain
deleted 1 character in body |
Sep
22 |
revised |
Non null Turing antichain
deleted 6 characters in body |
Sep
22 |
revised |
Non null Turing antichain
deleted 1 character in body |
Sep
22 |
revised |
Non null Turing antichain
added 237 characters in body |
Sep
22 |
revised |
Non null Turing antichain
added 1752 characters in body |