User Wojowu

60 votes

8 answers

10k views

Why should we believe in the axiom of regularity?

asked Sep 29, 2015 at 18:31

45 votes

2 answers

4k views

Are rigid-analytic spaces obsolete, since adic spaces exist?

asked May 26, 2021 at 17:46

42 votes

2 answers

2k views

Can we trap light in a polygonal room?

asked Apr 30, 2016 at 14:48

21 votes

2 answers

786 views

Can $L$ be thin?

asked Oct 6, 2015 at 19:37

20 votes

1 answer

2k views

Mixing solids and liquids

asked Sep 10, 2022 at 13:17

19 votes

1 answer

823 views

Can we find CH in the analytical hierarchy?

asked Sep 18, 2015 at 17:18

17 votes

1 answer

1k views

Smooth proper variety over $\mathbb Q$ with everywhere bad reduction

asked Feb 19, 2019 at 15:43

16 votes

1 answer

460 views

Can $\kappa^\lambda$ be large if $2^\lambda$ is small and $\lambda<\mathrm{cof}(\kappa)$?

asked May 3, 2022 at 14:29

16 votes

1 answer

991 views

What are the current views on consistency of Reinhardt cardinals without AC?

asked Dec 7, 2014 at 9:32

16 votes

1 answer

2k views

How much of GCH do we need to guarantee well-ordering of continuum?

asked Jul 2, 2014 at 7:35

15 votes

1 answer

1k views

Does "cardinal arithmetic is well-defined" imply axiom of choice?

asked Aug 2, 2015 at 11:32

14 votes

1 answer

1k views

Peano arithmetic vs. fast-growing hierarchy with pathological fundamental sequences

asked Nov 14, 2014 at 18:56

14 votes

1 answer

2k views

What sort of large cardinal can continuum be?

asked Jan 1, 2016 at 22:51

13 votes

3 answers

1k views

Which ordinals can be proof-theoretic ordinals of a reasonable theory?

asked Oct 27, 2014 at 21:49

13 votes

1 answer

742 views

Is forcing computable?

asked Dec 15, 2014 at 21:31

12 votes

1 answer

815 views

Busy beaver function vs low Turing degrees

asked Nov 26, 2014 at 13:54

11 votes

0 answers

368 views

Infinite time game of life

asked May 22, 2014 at 20:01

11 votes

1 answer

652 views

Cardinality of definable sets of reals

asked Sep 28, 2015 at 18:58

11 votes

3 answers

2k views

Is every group an ideal class group of a number field?

asked Oct 16, 2016 at 19:48

11 votes

1 answer

2k views

Explicit bounds from Tao's result on Collatz conjecture

asked Sep 14, 2019 at 13:46

10 votes

1 answer

531 views

How is Taylor-Wiles patching "horizontal Iwasawa theory"?

asked Feb 9 at 0:43

10 votes

0 answers

309 views

Mapping graphs to ordinals

asked Aug 10, 2014 at 16:56

10 votes

2 answers

2k views

Explicit examples of undetermined games

asked Oct 4, 2014 at 13:59

10 votes

1 answer

885 views

Uncountable time Turing machines

asked May 29, 2014 at 13:23

9 votes

1 answer

843 views

Bounded gaps between primes in arithmetic progressions

asked Aug 23, 2015 at 21:18

9 votes

1 answer

1k views

Does Nelson try to prove PA inconsistent directly?

asked Oct 25, 2014 at 10:09

9 votes

1 answer

383 views

Proof-theoretic ordinals after liberalizing induction to $RCA_0$

asked Oct 10, 2015 at 20:57

9 votes

0 answers

499 views

3x3 lemma in triangulated categories

asked Dec 18, 2020 at 21:35

9 votes

2 answers

691 views

Choosing subsets of $\mathbb R$ of cardinality $\frak c$, who wins?

asked Jan 2, 2017 at 19:14

9 votes

1 answer

495 views

How much choice does a linear or well-order on cardinals imply?

asked Jan 9, 2016 at 19:21

Stack Exchange Network

56 Questions

Why should we believe in the axiom of regularity?

Are rigid-analytic spaces obsolete, since adic spaces exist?

Can we trap light in a polygonal room?

Can $L$ be thin?

Mixing solids and liquids

Can we find CH in the analytical hierarchy?

Smooth proper variety over $\mathbb Q$ with everywhere bad reduction

Can $\kappa^\lambda$ be large if $2^\lambda$ is small and $\lambda<\mathrm{cof}(\kappa)$?

What are the current views on consistency of Reinhardt cardinals without AC?

How much of GCH do we need to guarantee well-ordering of continuum?

Does "cardinal arithmetic is well-defined" imply axiom of choice?

Peano arithmetic vs. fast-growing hierarchy with pathological fundamental sequences

What sort of large cardinal can continuum be?

Which ordinals can be proof-theoretic ordinals of a reasonable theory?

Is forcing computable?

Busy beaver function vs low Turing degrees

Infinite time game of life

Cardinality of definable sets of reals

Is every group an ideal class group of a number field?

Explicit bounds from Tao's result on Collatz conjecture

How is Taylor-Wiles patching "horizontal Iwasawa theory"?

Mapping graphs to ordinals

Explicit examples of undetermined games

Uncountable time Turing machines

Bounded gaps between primes in arithmetic progressions

Does Nelson try to prove PA inconsistent directly?

Proof-theoretic ordinals after liberalizing induction to $RCA_0$

3x3 lemma in triangulated categories

Choosing subsets of $\mathbb R$ of cardinality $\frak c$, who wins?

How much choice does a linear or well-order on cardinals imply?