The User's user avatar
The User's user avatar
The User's user avatar
The User
  • Member for 10 years, 10 months
  • Last seen more than 10 years ago
23 votes
3 answers
3k views

At which level is it currently possible to write formal proofs?

17 votes
0 answers
2k views

Why did Bourbaki not use universal algebra?

17 votes
2 answers
3k views

Hodge decomposition in Minkowski space

14 votes
5 answers
3k views

Importance of separability vs. second-countability

6 votes
2 answers
773 views

Plancherel formula for non-second-countable (non-unimodular) groups

6 votes
1 answer
769 views

Where does the deterministic simulation of non-deterministic ω-Turing machines fail?

4 votes
3 answers
753 views

Impact of the axiom of replacement on finite sets

4 votes
1 answer
427 views

Quantized conserved quantities appearing from the Lie-algebra

3 votes
0 answers
184 views

Does ZF prove that every $\Sigma_n$-axiom of ZF is true?

2 votes
2 answers
275 views

Equivalence relations in suplattices

1 vote
1 answer
763 views

Commutative, idempotent partially ordered monoids