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

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.