MathOverflow
Hanul Jeon's user avatar
Hanul Jeon's user avatar
Hanul Jeon's user avatar
Hanul Jeon
  • Member for 9 years, 6 months
  • Last seen this week
Profile Activity
Stats
2,317
reputation
12k
reached
17
answers
18
questions
Communities
View all
About

I am Hanul Jeon. I am currently (since 25 August 2021) a doctoral student at Cornell University. Contact me via e-mail or my Twitter account if you want to say something to me. (My e-mail address is available on my website.)

If you find any grammatical errors or suspicious facts from my comments or answers, please let me know.

Badges
View all badges
2
gold badges
12
silver badges
42
bronze badges
Top tags
View all tags
55
Score
34
Posts
97
Posts %
51
Score
26
Posts
74
Posts %
15
Score
5
Posts
14
Posts %
13
Score
2
Posts
6
Posts %
9
Score
9
Posts
26
Posts %
8
Score
3
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
13
Translation of "The joy of learning" by Hironaka
Feb 4, 2021
question
12
Is the existence of double complement of a set provable in Intuitionistic ZF?
Apr 3, 2018
answer
11
Is axiom of constructibility $V = L$ consistent with Tarski–Grothendieck set theory?
Oct 29, 2020
question
10
Set theory determined by $V_\alpha$ for limit ordinals $\alpha>\omega$
Jan 17, 2022
question
10
The relation between $\Pi_1$-Foundation and $\Sigma_1$-Foundation over Kripke-Platek set theory
Mar 25
question
9
Can we have a 'universal class' for elementary embeddings $j\colon V\to V$
Jan 19
question
8
Is there an abstract logic that defines the mantle?
Jul 24, 2020
question
8
Reference request: proof-theoretic strength of $\mathsf{KP}$ with recursively large ordinals and $\mathsf{CZF}$ with large set axioms
Dec 26, 2020
question
8
Some relevant questions about the consistency strength of singularity of $\omega_1$ and $\omega_2$
Nov 2, 2022
question
8
Compatibility of $\mathsf{SVC}$ and Reinhardtness
Dec 6, 2022
Top network posts
View all network posts
81
which is larger number? $\sqrt{7}-\sqrt{6}$ or $\sqrt{6}-\sqrt{5}$
56
Convergence of Ratio Test implies Convergence of the Root Test
35
The series $\sum_{n=1}^{+\infty}\frac{1}{1^2+2^2+\cdots+n^2}.$
31
Does $\bigcap_{n=1}^{+\infty}(-\frac{1}{n},\frac{1}{n}) = \varnothing$?
28
Is the function $ f(x,y)=\frac{xy}{x^{2}+y^{2}}$ where $f(0,0)$ is defined to be $0$ continuous?

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.