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. |