# R.G.

less info
reputation
6
bio website location age member for 1 year, 1 month seen 6 hours ago profile views 3

# 20 Actions

 May14 awarded Caucus Apr11 comment Proof of Proposition/Theorem V in Gödel's 1931 paper?Yes, you are right. I take back my comment. Apr11 comment Proof of Proposition/Theorem V in Gödel's 1931 paper?Two minor remarks. For projections you should take the formula $x_1=x_1\wedge\ldots\wedge x_n=x_n\wedge y=x_i$, similarly for the zero function the proper formula is $x=x\wedge y=0$. Apr5 revised Why is it impossible to define multiplication in Presburger arithmetic?corrected spelling and style Apr2 answered Why is it impossible to define multiplication in Presburger arithmetic? Nov19 awarded Revival Oct14 revised Proof that $\overline{A \cap B} \subseteq \overline{A} \cap \overline{B}$deleted 838 characters in body Oct13 comment Proof that $\overline{A \cap B} \subseteq \overline{A} \cap \overline{B}$Not exactly, I venture to say, since Andres uses properties which you are required to prove from the definitions in OP's question. Oct13 answered Proof that $\overline{A \cap B} \subseteq \overline{A} \cap \overline{B}$ Sep5 answered Use of undecidability Sep4 revised Axiomatic system and Hilbert's 2nd problemCorrected a sentence which could cause misunderstanding. Sep4 suggested suggested edit on Axiomatic system and Hilbert's 2nd problem Sep3 awarded Revival Sep3 awarded Supporter Sep2 answered What is the difference between Completeness and Soundness in first order logic? Aug31 awarded Editor Aug31 comment Russell Paradox and set theories@Asaf: I edited my answer a bit. Hope you can read my intentions now. Aug31 revised Russell Paradox and set theoriesadded 354 characters in body Aug31 awarded Teacher Aug31 answered Russell Paradox and set theories