Skip to main content
Wojowu's user avatar
Wojowu's user avatar
Wojowu's user avatar
Wojowu
  • Member for 11 years, 11 months
  • Last seen this week
60 votes
8 answers
10k views

Why should we believe in the axiom of regularity?

45 votes
2 answers
4k views

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

42 votes
2 answers
2k views

Can we trap light in a polygonal room?

21 votes
2 answers
786 views

Can $L$ be thin?

20 votes
1 answer
2k views

Mixing solids and liquids

19 votes
1 answer
823 views

Can we find CH in the analytical hierarchy?

17 votes
1 answer
1k views

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

16 votes
1 answer
460 views

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

16 votes
1 answer
992 views

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

16 votes
1 answer
2k views

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

15 votes
1 answer
1k views

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

14 votes
1 answer
1k views

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

14 votes
1 answer
2k views

What sort of large cardinal can continuum be?

13 votes
3 answers
1k views

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

13 votes
1 answer
742 views

Is forcing computable?

12 votes
1 answer
815 views

Busy beaver function vs low Turing degrees

11 votes
0 answers
368 views

Infinite time game of life

11 votes
1 answer
652 views

Cardinality of definable sets of reals

11 votes
3 answers
2k views

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

11 votes
1 answer
2k views

Explicit bounds from Tao's result on Collatz conjecture

10 votes
1 answer
532 views

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

10 votes
0 answers
309 views

Mapping graphs to ordinals

10 votes
2 answers
2k views

Explicit examples of undetermined games

10 votes
1 answer
885 views

Uncountable time Turing machines

9 votes
1 answer
843 views

Bounded gaps between primes in arithmetic progressions

9 votes
1 answer
1k views

Does Nelson try to prove PA inconsistent directly?

9 votes
1 answer
383 views

Proof-theoretic ordinals after liberalizing induction to $RCA_0$

9 votes
0 answers
499 views

3x3 lemma in triangulated categories

9 votes
2 answers
691 views

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

9 votes
1 answer
495 views

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