Skip to main content
MathOverflow
Hanul Jeon's user avatar
Hanul Jeon's user avatar
Hanul Jeon's user avatar
Hanul Jeon
  • Member for 10 years, 4 months
  • Last seen this week
Profile Activity
Stats
2,910
reputation
18k
reached
22
answers
23
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
14
silver badges
43
bronze badges
Top tags
View all tags
79
Score
41
Posts
91
Posts %
67
Score
31
Posts
69
Posts %
20
Score
3
Posts
7
Posts %
17
Score
4
Posts
9
Posts %
16
Score
5
Posts
11
Posts %
9
Score
11
Posts
24
Posts %
Top posts
View all questions and answers
13
Translation of "The joy of learning" by Hironaka
Feb 4, 2021
12
Is the existence of double complement of a set provable in Intuitionistic ZF?
Apr 3, 2018
11
Is axiom of constructibility $V = L$ consistent with Tarski–Grothendieck set theory?
Oct 29, 2020
10
Worst of both worlds?
Jan 28
10
Set theory determined by $V_\alpha$ for limit ordinals $\alpha>\omega$
Jan 17, 2022
9
Realizability for constructive Zermelo-Fraenkel set theory
Jul 14, 2021
9
Absoluteness of the core model under a proper class of completely Jónsson cardinals
Aug 29, 2022
9
Can we have a 'universal class' for elementary embeddings $j\colon V\to V$
Jan 19, 2023
9
The relation between $\Pi_1$-Foundation and $\Sigma_1$-Foundation over Kripke-Platek set theory
Mar 25, 2023
8
Is there an abstract logic that defines the mantle?
Jul 24, 2020
Top network posts
View all network posts
82
which is larger number? $\sqrt{7}-\sqrt{6}$ or $\sqrt{6}-\sqrt{5}$
58
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?