Colin McLarty
  • Member for 9 years, 9 months
  • Last seen this week
4 answers
57 votes
7k views
23 bookmarks
Has Fermat's Last Theorem per se been used?
4 answers
56 votes
4k views
29 bookmarks
Are there refuted analogues of the Riemann hypothesis?
3 answers
30 votes
2k views
8 bookmarks
Is the field of constructible numbers known to be decidable?
2 answers
28 votes
1k views
6 bookmarks
Authorship of Grothendieck universes
1 answers
28 votes
2k views
10 bookmarks
Is the Modularity Theorem (currently) effective?
3 answers
24 votes
2k views
1 bookmarks
Can one measure the infeasibility of four color proofs?
2 answers
22 votes
677 views
1 bookmarks
Is Global Choice conservative over Zermelo with Choice?
2 answers
22 votes
869 views
4 bookmarks
What is currently feasible in invariant theory for binary forms?
2 answers
22 votes
2k views
9 bookmarks
Can one prove the elementary divisor theorem for PIDs by elementary matrix operations?
1 answers
17 votes
1k views
5 bookmarks
How important is Weil's decomposition theorem today?
1 answers
16 votes
987 views
4 bookmarks
Is there a name for this property Weil saw for integer polynomials?
1 answers
15 votes
1k views
2 bookmarks
Resolution of singularities in étale cohomology
2 answers
14 votes
456 views
1 bookmarks
Are there good mutually interpretable axioms for synthetic Euclidean and hyperbolic geometry?
1 answers
13 votes
697 views
8 bookmarks
What metatheory proves $\mathsf{ACA}_0$ conservative over PA?
1 answers
13 votes
994 views
3 bookmarks
Reverse mathematics of Hilbert's Theorem 90
0 answers
13 votes
444 views
1 bookmarks
How to measure the strength of Zermelo over bounded Zermelo?
1 answers
12 votes
844 views
1 bookmarks
What is known about the reverse mathematics of algebraic number fields?
1 answers
11 votes
421 views
Does any lower bound on proofs of FLT improve Shepherdson 1965?
3 answers
11 votes
2k views
5 bookmarks
What is Gödel's pairing function on ordinals?
2 answers
10 votes
570 views
Does the Hasse norm theorem easily imply the global squares theorem?
0 answers
10 votes
150 views
1 bookmarks
Minkowski's lattice theorem in fragments of arithmetic
1 answers
10 votes
439 views
2 bookmarks
Etale cohomology of $\mathrm{Spec}(k\{X,Y\})\backslash\langle0,0\rangle$
0 answers
10 votes
578 views
5 bookmarks
Who first talked about "holes" in homology?
1 answers
10 votes
396 views
3 bookmarks
Reverse mathematics of meromorphic functions on Riemann surfaces
1 answers
10 votes
511 views
3 bookmarks
Can Tarski decide constructibility in elementary geometry?
1 answers
9 votes
361 views
What is known about global well ordering of classes in Gödel-Bernays?
2 answers
9 votes
375 views
When was Bounded Zermelo set theory first formulated?
2 answers
9 votes
432 views
2 bookmarks
Cut elimination algorithms
1 answers
9 votes
270 views
The Hasse Minkowski theorem in Peano arithmetic
3 answers
9 votes
310 views
1 bookmarks
What ordinals are definable relations in Peano Arithmetic?