User Colin McLarty - MathOverflow

Colin McLarty

Member for 10 years, 10 months
Last seen more than a week ago

cwru.edu/artsci/phil/…
Case Western Reserve University

90 Questions

Score Activity Newest Views

57 votes

4 answers

7k views

Has Fermat's Last Theorem per se been used?

asked Aug 26, 2013 at 14:58

56 votes

4 answers

4k views

Are there refuted analogues of the Riemann hypothesis?

asked Apr 14, 2013 at 9:26

32 votes

4 answers

2k views

Authorship of Grothendieck universes

asked Dec 29, 2012 at 14:32

30 votes

3 answers

2k views

Is the field of constructible numbers known to be decidable?

asked Sep 17, 2013 at 12:52

28 votes

1 answer

2k views

Is the Modularity Theorem (currently) effective?

asked Mar 2, 2014 at 2:18

24 votes

3 answers

2k views

Can one measure the infeasibility of four color proofs?

asked Sep 15, 2013 at 21:35

23 votes

2 answers

2k views

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

asked Jul 23, 2017 at 1:48

22 votes

2 answers

920 views

What is currently feasible in invariant theory for binary forms?

asked Nov 24, 2017 at 14:25

22 votes

2 answers

794 views

Is Global Choice conservative over Zermelo with Choice?

asked Mar 19, 2019 at 3:10

17 votes

1 answer

1k views

How important is Weil's decomposition theorem today?

asked Feb 5, 2015 at 12:38

16 votes

1 answer

1k views

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

asked Jan 29, 2017 at 18:59

15 votes

1 answer

1k views

Resolution of singularities in étale cohomology

asked Apr 8, 2016 at 11:41

14 votes

0 answers

452 views

How to measure the strength of Zermelo over bounded Zermelo?

asked Dec 27, 2012 at 23:48

14 votes

2 answers

516 views

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

asked Nov 28, 2021 at 4:44

13 votes

1 answer

771 views

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

asked Apr 10, 2013 at 12:06

13 votes

1 answer

1k views

Reverse mathematics of Hilbert's Theorem 90

asked Jul 17, 2013 at 23:39

12 votes

1 answer

892 views

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

asked Feb 3, 2015 at 9:30

11 votes

1 answer

423 views

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

asked Apr 13, 2013 at 12:34

11 votes

3 answers

3k views

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

asked Nov 11, 2012 at 15:16

10 votes

1 answer

534 views

Can Tarski decide constructibility in elementary geometry?

asked Sep 16, 2013 at 14:02

10 votes

0 answers

628 views

Who first talked about "holes" in homology?

asked Jan 27, 2015 at 13:56

10 votes

0 answers

153 views

Minkowski's lattice theorem in fragments of arithmetic

asked Nov 23, 2016 at 12:58

10 votes

2 answers

636 views

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

asked Jan 12, 2017 at 4:51

10 votes

1 answer

418 views

Reverse mathematics of meromorphic functions on Riemann surfaces

asked Feb 26, 2014 at 17:49

10 votes

1 answer

464 views

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

asked Mar 25, 2016 at 2:30

9 votes

0 answers

180 views

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

asked Jan 23, 2021 at 2:44

9 votes

0 answers

371 views

What metatheory proves cut elimination for Simple Type Theory?

asked Jul 24, 2018 at 23:50

9 votes

2 answers

487 views

Cut elimination algorithms

asked Aug 25, 2013 at 15:08

9 votes

2 answers

398 views

When was Bounded Zermelo set theory first formulated?

asked Nov 17, 2014 at 17:20

9 votes

1 answer

389 views

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

asked Jan 7, 2015 at 19:18

1