MathOverflow
C7X's user avatar
C7X's user avatar
C7X's user avatar
C7X
  • Member for 2 years
  • Last seen this week
Profile Activity
Stats
1,276
reputation
44k
reached
26
answers
10
questions
Communities
Badges
View all badges
1
gold badge
6
silver badges
26
bronze badges
Top tags
View all tags
37
Score
26
Posts
72
Posts %
23
Score
18
Posts
50
Posts %
14
Score
17
Posts
47
Posts %
12
Score
6
Posts
17
Posts %
11
Score
7
Posts
19
Posts %
11
Score
4
Posts
11
Posts %
Top posts
View all questions and answers
question
10
1970 question of Reinhardt - how large is this ordinal?
Feb 14
question
7
Progress on determining which partial orders embed into the rationals
Sep 7, 2023
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
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
answer
5
Do all limit $\alpha \in \omega_1^L$ satisfy $L_\alpha \models V=HC$?
May 4, 2022
answer
5
What are some noteworthy "mic-drop" moments in math?
Oct 26, 2023
question
4
Slicing large countable ordinal properties, from $\Pi_3$-reflection to $\Sigma_2$-admissibility
Oct 3, 2022
answer
4
Iterated Gentzen: or, a Sith objection to the proof of consistency of PA
Apr 16, 2022
Top Meta posts
0
1
3
Examples of mathematical exposition arising from MO answers
Top network posts
View all network posts
8
Can someone explain TREE(3) in extremely simple terms?
7
How much can $\Delta_0$-definable set functions increase rank?