Skip to main content
MathOverflow
user57888's user avatar
user57888's user avatar
user57888's user avatar
user57888
  • Member for 10 years, 3 months
  • Last seen more than a month ago
Profile Activity
Stats
1,229
reputation
65k
reached
7
answers
2
questions
Communities
Badges
View all badges
1
gold badge
11
silver badges
14
bronze badges
Top tags
View all tags
42
Score
5
Posts
56
Posts %
42
Score
4
Posts
44
Posts %
14
Score
3
Posts
33
Posts %
14
Score
1
Posts
11
Posts %
7
Score
1
Posts
11
Posts %
7
Score
1
Posts
11
Posts %
Top posts
question
63
Why isn't integral defined as the area under the graph of function?
Jan 28, 2019
answer
14
How can any theory prove well-foundedness of ordinals above $\omega_1^{\text{CK}}$?
Jan 27, 2016
answer
14
Why is an internal proof of consistency satisfactory for some systems?
Nov 20, 2023
answer
10
Examples of interesting false proofs
Jan 10, 2019
answer
7
End Extension models of $I\Delta_0$
Dec 3, 2015
answer
7
When is it okay to intersect infinite families of proper classes?
Jan 30, 2019
answer
4
Can one satisfaction class code another?
Apr 23, 2016
question
3
Solving polynomials of arbitrary degree
Sep 5, 2014
answer
3
Why can we assume a ctm of ZFC exists in forcing
Jun 6, 2022