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

Has Fermat's Last Theorem per se been used?

56 votes
4 answers
5k views

Are there refuted analogues of the Riemann hypothesis?

32 votes
4 answers
2k views

Authorship of Grothendieck universes

32 votes
3 answers
2k views

Is the field of constructible numbers known to be decidable?

29 votes
1 answer
3k views

Is the Modularity Theorem (currently) effective?

26 votes
2 answers
1k views

Is Global Choice conservative over Zermelo with Choice?

24 votes
2 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?

23 votes
2 answers
1k views

What is currently feasible in invariant theory for binary forms?

17 votes
1 answer
1k views

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

17 votes
1 answer
1k views

How important is Weil's decomposition theorem today?

15 votes
1 answer
1k views

Resolution of singularities in étale cohomology

14 votes
1 answer
1k views

Reverse mathematics of Hilbert's Theorem 90

14 votes
0 answers
482 views

How to measure the strength of Zermelo over bounded Zermelo?

14 votes
2 answers
598 views

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

13 votes
1 answer
845 views

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

12 votes
3 answers
3k views

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

12 votes
1 answer
966 views

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

12 votes
1 answer
469 views

Is there a useful measure of density of decidable sentences in PA?

11 votes
0 answers
666 views

Who first talked about "holes" in homology?

11 votes
1 answer
428 views

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

10 votes
1 answer
561 views

Can Tarski decide constructibility in elementary geometry?

10 votes
0 answers
158 views

Minkowski's lattice theorem in fragments of arithmetic

10 votes
2 answers
729 views

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

10 votes
1 answer
444 views

Reverse mathematics of meromorphic functions on Riemann surfaces

10 votes
1 answer
490 views

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

9 votes
0 answers
196 views

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

9 votes
0 answers
409 views

What metatheory proves cut elimination for Simple Type Theory?

9 votes
1 answer
401 views

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

9 votes
2 answers
450 views

When was Bounded Zermelo set theory first formulated?