Reputation
1,783
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
1 7 27
Newest
 Socratic
Impact
~51k people reached

Apr
20
comment Proof of Kondô-Addison theorem
I am basically convinced, but I'm still confused about how to the condition 3. in a $\Sigma_1(L_{\omega_1^{x \oplus y}}[x \oplus y])$ way, as I wrote in the original post in the last sentence. Is it possible for you to say something about this?
Apr
20
accepted Proof of Kondô-Addison theorem
Apr
19
asked Proof of Kondô-Addison theorem
Apr
19
revised Proof using deductive reasoning
Replaced tags by appropriate ones
Apr
19
suggested approved edit on Proof using deductive reasoning
Apr
9
accepted Ramsey theorems for the naturals and for general infinite sets
Apr
8
awarded  Socratic
Apr
7
revised Simple question. I know the answer but do not how to make a good steps.
Removed the inappropriate tag
Apr
7
suggested approved edit on Simple question. I know the answer but do not how to make a good steps.
Apr
7
comment Ramsey theorems for the naturals and for general infinite sets
@bof I can. Thank you.
Apr
7
asked Ramsey theorems for the naturals and for general infinite sets
Apr
7
revised Does a finite first-order theory which has a model always have a finite model?
edited body
Apr
3
accepted Omega-model of WWKL consisting of random reals
Mar
18
asked Omega-model of WWKL consisting of random reals
Mar
17
accepted What's the least class of ordinals closed under successor and the limits of omega-sequences?
Mar
11
asked What's the least class of ordinals closed under successor and the limits of omega-sequences?
Mar
11
accepted Characterization of $\Delta^0_0$ (rudimentary) functions
Mar
11
answered Characterization of $\Delta^0_0$ (rudimentary) functions
Mar
8
asked Characterization of $\Delta^0_0$ (rudimentary) functions
Mar
6
comment Primitive recursive function which isn't $\Delta_0$
@CarlMummert Is it possible for you to elaborate on the point about the sizes of Goedel numbers?