1,834 reputation
21725
bio website
location Melbourne, Australia
age
visits member for 4 years, 5 months
seen Dec 2 at 8:32

May
5
comment Optimal Strategy for Deal or No Deal
Thanks Zev for fixing up the $ signs. How do you get them to not make it go into LaTeX mode?
May
2
revised Optimal Strategy for Deal or No Deal
tried to fix dollars signs from latex encoding
Dec
11
awarded  Nice Question
Dec
8
revised Optimal Strategy for Deal or No Deal
fixed up so auto-latexify doesn't happen on dollars signs
Nov
13
awarded  Taxonomist
Aug
15
comment Is there a name for $[0,1]$?
I'd imagine the 'unit interval' refers to the set [0,1], but you wouldn't say that the number 0.3 is a "unit interval number" in the same way that you might say that 2/3 is a "rational number". It's not entirely clear from the question but I think it's asking for a term to describe any number in the set, not to describe the set itself.
Aug
12
comment Interesting properties of ternary relations?
Okay. That is interesting but it's not the type of property that I was after -- I want properties expressible in first order logic (+ identity).
Aug
7
comment Interesting properties of ternary relations?
I'd be interested to hear some of those properties. The only one I can think of (off the top of my head) is R(x,y,z) <-> R(y,x,z).
Aug
3
comment Interesting properties of ternary relations?
I'm now sure why you put that as a comment rather than as an answer.
Aug
3
asked Interesting properties of ternary relations?
Aug
3
comment How do the Properties of Relations work?
Asymmetric does not mean "not symmetric" in the context of binary relations. The relation "x is a factor of y" is not symmetric (since 3 is a factor of 6 and not vice versa). But it is not asymmetric either by any standard definition of asymmetry.
Jul
30
accepted Characterising functions $f$ that can be written as $f = g \circ g$?
Jul
30
accepted Are there any interesting semigroups that aren't monoids?
Jul
29
awarded  Editor
Jul
29
comment Characterising functions $f$ that can be written as $f = g \circ g$?
@Qiaochu -- thanks for finding that for me. Could you put it as an answer to the question, optionally with a brief summary?
Jul
29
comment Characterising functions $f$ that can be written as $f = g \circ g$?
Thanks - fixed it.
Jul
29
revised Characterising functions $f$ that can be written as $f = g \circ g$?
fixed mistake in second example
Jul
29
asked Characterising functions $f$ that can be written as $f = g \circ g$?
Jul
29
comment Group with an endomorphism that is “almost” abelian is abelian
@Mariano, why don't you give that as the answer and then it can be accepted? Otherwise it looks as though nobody has answered the question.
Jul
29
accepted Why is the “finitely many” quantifier not definable in First Order Logic?