Skip to main content
MathOverflow
Holo's user avatar
Holo's user avatar
Holo's user avatar
Holo
  • Member for 7 years, 4 months
  • Last seen this week
Profile Activity
Stats
1,676
reputation
19k
reached
16
answers
7
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
8
silver badges
22
bronze badges
Top tags
View all tags
46
Score
17
Posts
74
Posts %
35
Score
15
Posts
65
Posts %
17
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
question
14
Injection into a proper class and choice without regularity
Apr 25, 2019
question
12
Building the real from Dedekind finite sets
Mar 26
answer
12
Theorems with many distinct proofs
Aug 12, 2021
question
11
Scott's trick without regularity
Aug 22, 2021
answer
11
Simpler proofs using the axiom of choice
Jan 20, 2023
question
10
The additive structure of clusters of nonstandard models of arithmetic
Sep 7, 2023
answer
8
Large cardinal near inconsistencies
Jun 26, 2023
answer
7
Is the union of two conservative extensions of a theory conservative?
Apr 14, 2023
question
6
Weak trichotomy principle in the absence of choice
Mar 8, 2023
answer
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