Pteromys
Reputation
1,783
Top tag
Next privilege 2,000 Rep.
 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?