User Colin McLarty

15 votes

Reflection principle vs universes

answered Feb 2, 2021 at 17:50

6 votes

Accepted

Equivalence between Lowenheim-Skolem Theorem and Godel Completeness

answered Jul 29, 2019 at 12:51

7 votes

The conceptual difference in notations of Cat

answered Oct 6, 2017 at 15:37

8 votes

Problems for developing mathematical visualization expertise

answered Sep 21, 2017 at 0:37

6 votes

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

answered Sep 19, 2017 at 21:50

3 votes

Can Hasse-Minkowski be proved without class field theory?

answered Nov 23, 2016 at 3:17

15 votes

Idea of using etale site

answered Jul 3, 2015 at 13:05

24 votes

Accepted

Authorship of Grothendieck universes

answered Mar 1, 2015 at 15:16

2 votes

When was Bounded Zermelo set theory first formulated?

answered Nov 18, 2014 at 14:44

1 vote

Accepted

Elementary proof of bounds on factor polynomials

answered Jan 19, 2014 at 13:33

1 vote

Accepted

Interpreting the Galois theory of finite extensions of $\mathbb{Q}$ in PA

answered Nov 2, 2013 at 1:14

3 votes

Accepted

Are there any consequences of the initial object in Set being unique, while the isomorphism class of terminal objects is nontrivial?

answered Oct 8, 2013 at 17:44

11 votes

Accepted

Where does the notation $\pi_1(X,x)$ for the fundamental group first appear?

answered Sep 25, 2013 at 13:52

2 votes

Accepted

The importance of generating series in Algebraic Geometry

answered Sep 20, 2013 at 22:41

15 votes

What is the source of this famous Grothendieck quote?

answered Aug 31, 2013 at 23:29

6 votes

Accepted

Who first realized that the shortest distance between two points is a straight line?

answered Aug 31, 2013 at 14:18

6 votes

Lingering foundational question about sheaves of abelian groups

answered Aug 30, 2013 at 17:56

7 votes

Accepted

Does the bundle of germs of functions $f:X\to \mathbb R$ have the same sheaf of sections as $X\times \mathbb R$?

answered Aug 24, 2013 at 12:37

6 votes

Accepted

(Finite) Models of two subtheories of Peano Arithmetic

answered Aug 7, 2013 at 9:40

1 vote

Accepted

The Hasse Minkowski theorem in Peano arithmetic

answered Aug 6, 2013 at 8:52

6 votes

Rigid analytic spaces vs Berkovich spaces vs Formal schemes

answered Jul 31, 2013 at 9:29

0 votes

Accepted

Rigidity, moduli space, and moduli field

answered Jul 23, 2013 at 9:10

3 votes

Accepted

Algebraic numbers and the complex projective line minus three points

answered Jul 20, 2013 at 1:05

23 votes

Why did Bourbaki's Élements omit the theory of categories?

answered May 24, 2013 at 20:32

11 votes

When must it be sets rather than proper classes, or vice-versa, outside of foundational mathematics?

answered Feb 3, 2013 at 16:30

4 votes

Accepted

Finite order arithmetic and ETCS

answered Dec 3, 2012 at 3:16

5 votes

Accepted

Show that $A$ cartesian closed need not imply $A^J$ is cartesian closed.

answered Aug 16, 2012 at 3:02

7 votes

Accepted

product operation: name and notation

answered Aug 11, 2012 at 18:53

3 votes

Accepted

Ideals of etale structure sheaves

answered Jul 26, 2012 at 1:21

Stack Exchange Network

29 Answers

Reflection principle vs universes

Equivalence between Lowenheim-Skolem Theorem and Godel Completeness

The conceptual difference in notations of Cat

Problems for developing mathematical visualization expertise

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

Can Hasse-Minkowski be proved without class field theory?

Idea of using etale site

Authorship of Grothendieck universes

When was Bounded Zermelo set theory first formulated?

Elementary proof of bounds on factor polynomials

Interpreting the Galois theory of finite extensions of $\mathbb{Q}$ in PA

Are there any consequences of the initial object in Set being unique, while the isomorphism class of terminal objects is nontrivial?

Where does the notation $\pi_1(X,x)$ for the fundamental group first appear?

The importance of generating series in Algebraic Geometry

What is the source of this famous Grothendieck quote?

Who first realized that the shortest distance between two points is a straight line?

Lingering foundational question about sheaves of abelian groups

Does the bundle of germs of functions $f:X\to \mathbb R$ have the same sheaf of sections as $X\times \mathbb R$?

(Finite) Models of two subtheories of Peano Arithmetic

The Hasse Minkowski theorem in Peano arithmetic

Rigid analytic spaces vs Berkovich spaces vs Formal schemes

Rigidity, moduli space, and moduli field

Algebraic numbers and the complex projective line minus three points

Why did Bourbaki's Élements omit the theory of categories?

When must it be sets rather than proper classes, or vice-versa, outside of foundational mathematics?

Finite order arithmetic and ETCS

Show that $A$ cartesian closed need not imply $A^J$ is cartesian closed.

product operation: name and notation

Ideals of etale structure sheaves