Apparently, this user prefers to keep an air of mystery about them.
4 Find a first order sentence satisfied in every finite semigroup but not in every compact semigroup jan 27
4 Rees matrix semigroup aug 7 '13
3 If $L_2L_1$ is accepted by a DFA, is $L_1$ too? nov 11 '13