User Colin McLarty

23

57

votes

4

answers

7k

views

Has Fermat's Last Theorem per se been used?

nt.number-theory algebraic-number-theory

Mar 5 '19 at 23:43 YCor 48.1k

29

56

votes

4

answers

4k

views

Are there refuted analogues of the Riemann hypothesis?

nt.number-theory riemann-hypothesis zeta-functions

Jul 25 '14 at 12:15 CommunityBot 1

8

30

votes

3

answers

2k

views

Is the field of constructible numbers known to be decidable?

lo.logic model-theory decidability

Sep 19 '13 at 7:57 Marvin Jay Greenberg 141

6

28

votes

2

answers

1k

views

Authorship of Grothendieck universes

ho.history-overview ag.algebraic-geometry

Mar 1 '15 at 19:42 Colin McLarty 10.1k

10

28

votes

1

answer

2k

views

Is the Modularity Theorem (currently) effective?

nt.number-theory elliptic-curves modular-forms

Mar 2 '14 at 13:35 CommunityBot 1

1

24

votes

3

answers

2k

views

Can one measure the infeasibility of four color proofs?

co.combinatorics graph-theory algorithms computational-complexity graph-colorings

Jul 17 at 2:21 Tony Huynh 28.1k

1

22

votes

2

answers

659

views

Is Global Choice conservative over Zermelo with Choice?

set-theory axiom-of-choice

Nov 28 at 2:14 Elliot Glazer 2,417

4

22

votes

2

answers

856

views

What is currently feasible in invariant theory for binary forms?

computer-algebra classical-invariant-theory

Jun 1 '19 at 17:11 Abdelmalek Abdesselam 18.6k

9

22

votes

2

answers

2k

views

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

nt.number-theory ac.commutative-algebra algebraic-number-theory ho.history-overview kt.k-theory-and-homology

Jul 29 '17 at 21:03 Luc Guyot 6,308

5

17

votes

1

answer

1k

views

How important is Weil's decomposition theorem today?

nt.number-theory diophantine-geometry

Feb 6 '15 at 18:00 Colin McLarty 10.1k

4

16

votes

1

answer

981

views

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

nt.number-theory ac.commutative-algebra

Jan 7 '18 at 13:32 Ofir Gorodetsky 7,977

2

15

votes

1

answer

1k

views

Resolution of singularities in étale cohomology

ag.algebraic-geometry reference-request etale-cohomology resolution-of-singularities

Apr 17 '16 at 21:56 Colin McLarty 10.1k

1

13

votes

2

answers

333

views

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

lo.logic mg.metric-geometry hyperbolic-geometry

1h ago coudy 16.3k

7

13

votes

1

answer

681

views

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

lo.logic proof-theory peano-arithmetic

Sep 30 '13 at 13:20 Emil Jeřábek 37.3k

3

13

votes

1

answer

986

views

Reverse mathematics of Hilbert's Theorem 90

nt.number-theory lo.logic proof-theory reverse-math

Jul 18 '13 at 23:02 François G. Dorais♦ 41.8k

1

13

votes

0

answers

444

views

How to measure the strength of Zermelo over bounded Zermelo?

set-theory proof-theory lo.logic

Dec 28 '12 at 18:50 Colin McLarty 10.1k

1

12

votes

1

answer

837

views

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

lo.logic algebraic-number-theory proof-theory reverse-math

Sep 19 '17 at 21:50 Colin McLarty 10.1k

11

votes

1

answer

421

views

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

peano-arithmetic proof-theory

Apr 16 '13 at 15:37 Ryan Reich 6,923

5

11

votes

3

answers

2k

views

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

set-theory terminology

Nov 11 '12 at 19:17 Andrés E. Caicedo 30.4k

10

votes

2

answers

566

views

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

nt.number-theory algebraic-number-theory

Jan 15 '17 at 13:39 CommunityBot 1

1

10

votes

0

answers

150

views

Minkowski's lattice theorem in fragments of arithmetic

peano-arithmetic elementary-proofs

Nov 25 '16 at 0:41 Colin McLarty 10.1k

2

10

votes

1

answer

437

views

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

etale-cohomology

Mar 30 '16 at 12:35 Colin McLarty 10.1k

5

10

votes

0

answers

574

views

Who first talked about "holes" in homology?

cohomology terminology

Jan 27 '15 at 18:31 CommunityBot 1

3

10

votes

1

answer

394

views

Reverse mathematics of meromorphic functions on Riemann surfaces

lo.logic cv.complex-variables proof-theory

Sep 25 '14 at 18:50 CommunityBot 1

3

10

votes

1

answer

508

views

Can Tarski decide constructibility in elementary geometry?

lo.logic mg.metric-geometry algorithms computability-theory euclidean-geometry

Sep 16 '13 at 17:57 CommunityBot 1

9

votes

1

answer

359

views

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

set-theory axiom-of-choice

Jan 7 '15 at 19:51 François G. Dorais♦ 41.8k

9

votes

2

answers

372

views

When was Bounded Zermelo set theory first formulated?

set-theory ho.history-overview proof-theory

Nov 18 '14 at 18:00 CommunityBot 1

2

9

votes

2

answers

421

views

Cut elimination algorithms

lo.logic proof-theory

Aug 25 '13 at 19:06 CommunityBot 1

9

votes

1

answer

268

views

The Hasse Minkowski theorem in Peano arithmetic

nt.number-theory proof-theory

Aug 6 '13 at 8:52 Colin McLarty 10.1k

1

9

votes

3

answers

307

views

What ordinals are definable relations in Peano Arithmetic?

set-theory definability

Nov 1 '12 at 17:22 Henry Towsner 6,935

Stack Exchange Network

current community

your communities

more stack exchange communities

Next privilege

Next badge

89 Questions

Has Fermat's Last Theorem per se been used?

Are there refuted analogues of the Riemann hypothesis?

Is the field of constructible numbers known to be decidable?

Authorship of Grothendieck universes

Is the Modularity Theorem (currently) effective?

Can one measure the infeasibility of four color proofs?

Is Global Choice conservative over Zermelo with Choice?

What is currently feasible in invariant theory for binary forms?

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

How important is Weil's decomposition theorem today?

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

Resolution of singularities in étale cohomology

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

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

Reverse mathematics of Hilbert's Theorem 90

How to measure the strength of Zermelo over bounded Zermelo?

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

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

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

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

Minkowski's lattice theorem in fragments of arithmetic

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

Who first talked about "holes" in homology?

Reverse mathematics of meromorphic functions on Riemann surfaces

Can Tarski decide constructibility in elementary geometry?

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

When was Bounded Zermelo set theory first formulated?

Cut elimination algorithms

The Hasse Minkowski theorem in Peano arithmetic

What ordinals are definable relations in Peano Arithmetic?