Skip to main content
MathOverflow
C7X's user avatar
C7X's user avatar
C7X's user avatar
C7X
  • Member for 2 years, 9 months
  • Last seen this week
Profile Activity
Stats
2,031
reputation
70k
reached
36
answers
15
questions
Communities
View all
Badges
View all badges
1
gold badge
9
silver badges
31
bronze badges
Top tags
View all tags
49
Score
35
Posts
69
Posts %
46
Score
27
Posts
53
Posts %
29
Score
20
Posts
39
Posts %
16
Score
9
Posts
18
Posts %
15
Score
6
Posts
12
Posts %
14
Score
11
Posts
22
Posts %
Top posts
View all questions and answers
answer
18
Finite verification for theorems due to Busy Beaver numbers
Jul 14
question
11
1970 question of Reinhardt - how large is this ordinal?
Feb 14
question
9
Has a computer search for inconsistency of large cardinals been carried out before?
Sep 7
question
7
Progress on determining which partial orders embed into the rationals
Sep 7, 2023
question
7
Must there be a proper class of Reinhardt cardinals if there is a Reinhardt cardinal?
Apr 24
answer
7
Most recent results on formulating Kunen's inconsistency theorem in ZF without choice
Apr 5
question
6
Iterated $\Pi^1_1$-reflection and non-Gandiness underrepresented in ordinal analyses?
Jul 29, 2023
question
6
Is there a characterization of measurables in terms of indiscernibles?
Nov 14
answer
6
Smallest ordinal modelling $\aleph_1$?
Apr 27, 2022
question
5
How closely do ordinal collapsing functions relate to Mostowski collapse?
Jun 13, 2022
Top Meta posts
1
1
4
Discrepancy between MathOverflow logo and this site's logo
4
Examples of mathematical exposition arising from MO answers
Top network posts
View all network posts
9
Can someone explain TREE(3) in extremely simple terms?
8
How much can $\Delta_0$-definable set functions increase rank?