Skip to main content
MathOverflow
Holo's user avatar
Holo's user avatar
Holo's user avatar
Holo
  • Member for 6 years, 11 months
  • Last seen this week
Profile Activity
Stats
1,654
reputation
18k
reached
16
answers
7
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
22
bronze badges
Top tags
View all tags
45
Score
17
Posts
74
Posts %
35
Score
15
Posts
65
Posts %
16
Score
3
Posts
13
Posts %
14
Score
4
Posts
17
Posts %
13
Score
9
Posts
39
Posts %
9
Score
2
Posts
9
Posts %
Top posts
View all questions and answers
14
Injection into a proper class and choice without regularity
Apr 25, 2019
12
Building the real from Dedekind finite sets
Mar 26
12
Theorems with many distinct proofs
Aug 12, 2021
11
Scott's trick without regularity
Aug 22, 2021
10
The additive structure of clusters of nonstandard models of arithmetic
Sep 7, 2023
10
Simpler proofs using the axiom of choice
Jan 20, 2023
7
Is the union of two conservative extensions of a theory conservative?
Apr 14, 2023
7
Large cardinal near inconsistencies
Jun 26, 2023
6
Weak trichotomy principle in the absence of choice
Mar 8, 2023
6
Why we need to choose direction in the "marry the arrows" algorithm?
Nov 10, 2022
Top network posts
View all network posts
30
Fermat's Last Theorem and Faltings' Theorem.
20
How does one evaluate $1+2-3-4+5+6-7-8+\cdots+50$?
15
Better understanding dividing and forking
11
Do "superinfinite" sets exist?
10
100 using only 5 number of digits