MathOverflow
Hanul Jeon's user avatar
Hanul Jeon's user avatar
Hanul Jeon's user avatar
Hanul Jeon
  • Member for 8 years, 9 months
  • Last seen this week
Profile Activity
Stats
1,779
reputation
9k
reached
13
answers
14
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
1
gold badge
11
silver badges
36
bronze badges
Top tags
View all tags
44
Score
26
Posts
96
Posts %
44
Score
21
Posts
78
Posts %
15
Score
5
Posts
19
Posts %
13
Score
2
Posts
7
Posts %
13
Score
1
Posts
4
Posts %
13
Score
1
Posts
4
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
question
8
Reference request: proof-theoretic strength of $\mathsf{KP}$ with recursively large ordinals and $\mathsf{CZF}$ with large set axioms
Dec 26, 2020
answer
8
(ZC + $\Sigma_2$ replacement + inaccessible cardinal) equiconsistent with (ZFC + inaccessible cardinal)?
Nov 26, 2019
answer
8
Realizability for constructive Zermelo-Fraenkel set theory
Jul 14, 2021
question
7
Consistency strength of the existence of a transitive model of $\mathsf{ZFC}^-$ with a $\kappa$-complete ultrafilter
Mar 6, 2018
question
7
Is there an abstract logic that defines the mantle?
Jul 24, 2020
question
7
Some relevant questions about the consistency strength of singularity of $\omega_1$ and $\omega_2$
Nov 2
Top network posts
View all network posts
80
which is larger number? $\sqrt{7}-\sqrt{6}$ or $\sqrt{6}-\sqrt{5}$
54
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.