« first day (2369 days earlier)      last day (51 days later) » 

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
Q: Kurtz randomness and supermartingales with infinite *limit*

Peter GerdesSuppose 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...

 

« first day (2369 days earlier)      last day (51 days later) »