User Jesse Elliott

44 votes

3 answers

8k views

Iterated logarithms in analytic number theory

asked Nov 15, 2021 at 20:30

23 votes

3 answers

3k views

Why believe in the existence of large cardinals rather than just their consistency?

asked Sep 17 at 22:23

18 votes

1 answer

1k views

Strongest large cardinal axiom compatible with $V = L$?

asked Dec 13, 2014 at 1:12

17 votes

3 answers

832 views

Classifying set theories whose standard models sharing the same ordinals are equal

asked Dec 16, 2014 at 23:04

15 votes

3 answers

1k views

Complete resolutions of GCH

asked Dec 19, 2014 at 21:38

13 votes

1 answer

932 views

Consistency strength of HoTT

asked Aug 21 at 23:55

12 votes

1 answer

1k views

A problem in commutative algebra whose solution requires algebraic geometry (resp., noncommutative algebra)?

asked Nov 20, 2023 at 2:22

11 votes

3 answers

565 views

First-order definable bijection between $P(On)$ (or $No$) and $V$? (Is this equivalent to $V = HOD$?)

asked Dec 8, 2014 at 3:28

10 votes

5 answers

3k views

Riemann–Von Mangoldt formula

asked Oct 30, 2021 at 3:57

10 votes

1 answer

1k views

Approximation for the $n$th nontrivial zero of $\zeta(s)$

asked Nov 10, 2021 at 5:37

9 votes

1 answer

509 views

Transcendence degree of the surreals over the subfield generated by the ordinals

asked Nov 30, 2014 at 9:14

8 votes

2 answers

335 views

p-adic analogue of the Strong Law of Large Numbers

asked Apr 23, 2015 at 8:04

7 votes

3 answers

3k views

Are the categories of sets, abelian groups, and commutative rings unique?

asked Oct 25, 2022 at 21:29

7 votes

0 answers

328 views

Does $\frac{1}{\pi}\operatorname{Arg} \zeta(1/2+2\pi i t)$ have mean value $0$?

asked Nov 3, 2021 at 20:23

7 votes

1 answer

524 views

continued fraction for logarithmic integral

asked May 2, 2021 at 23:57

6 votes

2 answers

389 views

asymptotic for li(x)-Ri(x)

asked Aug 18, 2018 at 23:24

6 votes

1 answer

297 views

Does there exist a full and faithful embedding of $\mathsf{Poset}$ in $\mathsf{Set}$?

asked Dec 21, 2018 at 2:59

6 votes

1 answer

589 views

prime ideals minimal over a zerodivisor

asked Apr 10, 2019 at 10:39

6 votes

1 answer

456 views

non-Noetherian r-Noetherian ring with Noetherian total quotient ring

asked Jan 11, 2016 at 22:29

6 votes

1 answer

382 views

Formal systems needed to formalize relative independence results

asked Dec 6, 2014 at 4:36

6 votes

3 answers

947 views

Torsion-free tensor powers

asked Aug 18, 2011 at 3:28

6 votes

1 answer

321 views

Is "$2^{|X|} = \aleph_{|X|^+}$ for all infinite sets $X$" consistent with ZFC?

asked Sep 8 at 9:17

6 votes

1 answer

360 views

The Dirichlet series of the harmonic numbers

asked Nov 1, 2023 at 1:43

6 votes

1 answer

172 views

Is the set of all solutions $x > 0$ to $ \pi(x) = \operatorname{li}(x)$ unbounded?

asked Dec 16, 2022 at 12:13

5 votes

0 answers

290 views

Lower bound for p-adic distance between roots

asked Aug 23, 2011 at 7:01

5 votes

1 answer

488 views

Simplest non-constructible set of integers compatible with the nonexistence of $0^\sharp$?

asked Nov 29, 2014 at 3:10

5 votes

1 answer

427 views

Odlyzko's reformulation of Montgomery's pair correlation conjecture

asked Apr 13, 2022 at 5:32

4 votes

1 answer

400 views

Bounding integrals involving $\operatorname{li}(x)-\pi(x)$

asked Sep 13, 2021 at 12:31

4 votes

1 answer

194 views

Classify set theories whose transitive models sharing the same sets of ordinals are equal

asked Dec 18, 2014 at 9:03

4 votes

2 answers

448 views

Characterizing $\mathbb{Q}[X]$ via a property of its tensor powers

asked Dec 25, 2013 at 22:22

Stack Exchange Network

50 Questions

Iterated logarithms in analytic number theory

Why believe in the existence of large cardinals rather than just their consistency?

Strongest large cardinal axiom compatible with $V = L$?

Classifying set theories whose standard models sharing the same ordinals are equal

Complete resolutions of GCH

Consistency strength of HoTT

A problem in commutative algebra whose solution requires algebraic geometry (resp., noncommutative algebra)?

First-order definable bijection between $P(On)$ (or $No$) and $V$? (Is this equivalent to $V = HOD$?)

Riemann–Von Mangoldt formula

Approximation for the $n$th nontrivial zero of $\zeta(s)$

Transcendence degree of the surreals over the subfield generated by the ordinals

p-adic analogue of the Strong Law of Large Numbers

Are the categories of sets, abelian groups, and commutative rings unique?

Does $\frac{1}{\pi}\operatorname{Arg} \zeta(1/2+2\pi i t)$ have mean value $0$?

continued fraction for logarithmic integral

asymptotic for li(x)-Ri(x)

Does there exist a full and faithful embedding of $\mathsf{Poset}$ in $\mathsf{Set}$?

prime ideals minimal over a zerodivisor

non-Noetherian r-Noetherian ring with Noetherian total quotient ring

Formal systems needed to formalize relative independence results

Torsion-free tensor powers

Is "$2^{|X|} = \aleph_{|X|^+}$ for all infinite sets $X$" consistent with ZFC?

The Dirichlet series of the harmonic numbers

Is the set of all solutions $x > 0$ to $ \pi(x) = \operatorname{li}(x)$ unbounded?

Lower bound for p-adic distance between roots

Simplest non-constructible set of integers compatible with the nonexistence of $0^\sharp$?

Odlyzko's reformulation of Montgomery's pair correlation conjecture

Bounding integrals involving $\operatorname{li}(x)-\pi(x)$

Classify set theories whose transitive models sharing the same sets of ordinals are equal

Characterizing $\mathbb{Q}[X]$ via a property of its tensor powers