Reputation
7,469
Top tag
Next privilege 10,000 Rep.
Access moderator tools
Badges
1 10 31
Newest
 Necromancer
Impact
~85k people reached

Nov
21
revised Elliott Mendelson, Introduction to Mathematical Logic [fourth edition] - definition of logical consequence
added 223 characters in body
Nov
21
answered Elliott Mendelson, Introduction to Mathematical Logic [fourth edition] - definition of logical consequence
Nov
21
revised Elliott Mendelson, Introduction to Mathematical Logic [fourth edition] - definition of logical consequence
made some grammar and Latex corrections
Nov
19
answered How much Category theory one must learn?
Nov
19
answered Is there any point in a logician studying $\infty$-categories?
Nov
19
revised Prove that this polynomial is irreducible over $\mathbb Z$
added stuff
Nov
19
answered Prove that this polynomial is irreducible over $\mathbb Z$
Nov
17
answered 1-Cocycle of an Algebra
Nov
17
comment 1-Cocycle of an Algebra
Co-cycle are a general concept which arise in the context of homological algebra. It would be helpful if you could also add the reference to where are you studying about this co-cycles.
Nov
16
revised $G$ is Abelian if it has no element of order $2$ and $(ab)^2=(ba)^2$
deleted 1 characters in body
Nov
16
answered Products, Naturality and Functors
Nov
15
comment Permutation representation argument validity
No suggestion or correction, your proof is correct.
Nov
14
revised Why is it worth spending time on type theory?
made a correction
Nov
14
comment Why is it worth spending time on type theory?
@ZhenLin So HoTT book aims to create an intuitive approach to intensional type theory? Ok, thanks for the correction, I'm gonna edit.
Nov
14
comment Why is it worth spending time on type theory?
@ZhenLin when I say new I was referring to the naive type theory, I don't know of any reference before HoTT book which treat type theory from a non formal point of view.
Nov
14
revised Why is it worth spending time on type theory?
added 1002 characters in body
Nov
14
answered Why is it worth spending time on type theory?
Nov
14
revised $G$ is Abelian if it has no element of order $2$ and $(ab)^2=(ba)^2$
added 183 characters in body
Nov
14
comment $G$ is Abelian if it has no element of order $2$ and $(ab)^2=(ba)^2$
@AndreasCaranti no, I'm not assuming that the group have finite order. Apparently I've assumed that the elements have finite order. I'm gonna edit the answer and add this detail. Thanks for pointing out.
Nov
14
comment $G$ is Abelian if it has no element of order $2$ and $(ab)^2=(ba)^2$
@some1.new4u if you tell me exactly what are the instrument you could use, I could try to come up with some simpler solution :)