Reputation
1,693
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
1 9 17
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