Colin McLarty's user avatar
Colin McLarty's user avatar
Colin McLarty's user avatar
Colin McLarty
  • Member for 10 years, 10 months
  • Last seen more than a week ago
57 votes
4 answers
7k views

Has Fermat's Last Theorem per se been used?

56 votes
4 answers
4k views

Are there refuted analogues of the Riemann hypothesis?

32 votes
4 answers
2k views

Authorship of Grothendieck universes

30 votes
3 answers
2k views

Is the field of constructible numbers known to be decidable?

28 votes
1 answer
2k views

Is the Modularity Theorem (currently) effective?

24 votes
3 answers
2k views

Can one measure the infeasibility of four color proofs?

23 votes
2 answers
2k views

Can one prove the elementary divisor theorem for PIDs by elementary matrix operations?

22 votes
2 answers
920 views

What is currently feasible in invariant theory for binary forms?

22 votes
2 answers
794 views

Is Global Choice conservative over Zermelo with Choice?

17 votes
1 answer
1k views

How important is Weil's decomposition theorem today?

16 votes
1 answer
1k views

Is there a name for this property Weil saw for integer polynomials?

15 votes
1 answer
1k views

Resolution of singularities in étale cohomology

14 votes
0 answers
452 views

How to measure the strength of Zermelo over bounded Zermelo?

14 votes
2 answers
516 views

Are there good mutually interpretable axioms for synthetic Euclidean and hyperbolic geometry?

13 votes
1 answer
771 views

What metatheory proves $\mathsf{ACA}_0$ conservative over PA?

13 votes
1 answer
1k views

Reverse mathematics of Hilbert's Theorem 90

12 votes
1 answer
892 views

What is known about the reverse mathematics of algebraic number fields?

11 votes
1 answer
423 views

Does any lower bound on proofs of FLT improve Shepherdson 1965?

11 votes
3 answers
3k views

What is Gödel's pairing function on ordinals?

10 votes
1 answer
534 views

Can Tarski decide constructibility in elementary geometry?

10 votes
0 answers
628 views

Who first talked about "holes" in homology?

10 votes
0 answers
153 views

Minkowski's lattice theorem in fragments of arithmetic

10 votes
2 answers
636 views

Does the Hasse norm theorem easily imply the global squares theorem?

10 votes
1 answer
418 views

Reverse mathematics of meromorphic functions on Riemann surfaces

10 votes
1 answer
464 views

Etale cohomology of $\mathrm{Spec}(k\{X,Y\})\backslash\langle0,0\rangle$

9 votes
0 answers
180 views

Reverse mathematics of Noetherian rings over $\mathbb{Q}$

9 votes
0 answers
371 views

What metatheory proves cut elimination for Simple Type Theory?

9 votes
2 answers
487 views

Cut elimination algorithms

9 votes
2 answers
398 views

When was Bounded Zermelo set theory first formulated?

9 votes
1 answer
389 views

What is known about global well ordering of classes in Gödel-Bernays?