Harry Altman's user avatar
Harry Altman's user avatar
Harry Altman's user avatar
Harry Altman
  • Member for 13 years, 11 months
  • Last seen this week
28 votes
1 answer
1k views

Are Minkowski sums of upward closed "convex" sets in $\mathbb{N}^k$ still "convex"? (WAS: Comparing mana costs in Magic: The Gathering)

25 votes
1 answer
3k views

Surreal exponentiation -- are the varying definitions equivalent? If not, is there agreement on which ones are better?

19 votes
3 answers
1k views

What is the fairest order for stage-striking (and is it the Thue-Morse sequence)?

18 votes
1 answer
1k views

What if homotopy were expanded to allow any connected space instead of $[0,1]$?

12 votes
0 answers
200 views

Do compact inverse-property loops (or just compact Moufang loops) have bi-invariant Haar measure?

12 votes
2 answers
681 views

Start with a topological group, take the meet of the two uniformities, and take the topology. Is the result again a topological group? [xpost from math.SE]

10 votes
1 answer
246 views

Is there a relation between type (maximum linearization) of a computable WQO and the ordinal strength of a theory needed to prove it?

9 votes
1 answer
732 views

Lower bound on # of nonzero digits in ternary expansions of powers of 2?

9 votes
3 answers
1k views

Does "finitely presented" mean "always finitely presented", considered in general

8 votes
4 answers
2k views

Finite dimensional vector spaces over a complete but not-necessarily-valued field

4 votes
1 answer
318 views

Does the weak approximation theorem hold for general topological fields?

3 votes
1 answer
271 views

Where can I read about Veblen functions / klammersymbols beyond the large Veblen ordinal?

3 votes
1 answer
152 views

A closed subset of a Dedekind-complete order has subspace topology equal to order topology

2 votes
0 answers
128 views

Can this construction generate bounded aperiodic functions?