1:30 AM
@DavidRoberts to an outsider an "expander graph" might be some kind of graph. This is true! In general the worst opaque word tells more than an abbreviation.

1 hour later…
2:50 AM
Though I don't imagine anyone using etcs in isolation, and not including at least one of ct.category-theory or lo.logic or set-theory.
The worst acronym is set theory is NBG (von Neumann-Bernays-Gödel, with choice, usually)
Lucky we don't have the tag [mice] :-)

11 hours later…
1:52 PM
A new tag was created, including a tag-excerpt and a a tag-wiki.
0

Suppose you replace the usual success conditions for a supermartingale (lim sup is infinite) with the requirement that the actual limit is infinite, e.g. a supermartingale $B$ succeeds on $X \in 2^\omega$ just if $$\lim_{n \to \infty} B(X\restriction_n) = \infty$$ I'm 90% sure that you don't ge...