Reputation
1,768
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
1 11 18
Newest
 Necromancer
Impact
~15k people reached

  • 0 posts edited
  • 0 helpful flags
  • 43 votes cast
Apr
21
awarded  Necromancer
Apr
13
awarded  Yearling
Mar
28
awarded  Nice Question
Mar
27
comment A question concerning model theory of groups
@HJRW, thanks. I have no his slides, probably I misunderstood the question. Anyway, it's good to know the facts discussed above.
Mar
26
comment A question concerning model theory of groups
Thanks. Maybe they are not elementary equivalent either.
Mar
25
comment A question concerning model theory of groups
@Ycor. Thanks for the counterexample. Now I understand why he is only interested in residually finite groups.
Mar
25
revised A question concerning model theory of groups
added 19 characters in body
Mar
25
comment A question concerning model theory of groups
@Benjamin. Ah, you are right. They should be residually finite.
Mar
25
revised A question concerning model theory of groups
added 11 characters in body
Mar
25
comment A question concerning model theory of groups
@Asaf, I meant homomorphism. A typo. Thanks.
Mar
25
revised A question concerning model theory of groups
deleted 1 character in body
Mar
25
asked A question concerning model theory of groups
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.