Research Fellow
School of Mathematics
Korea Institute for Advanced Study
85 Hoegiro Dongdaemun-gu, Seoul 02455, South Korea
Research Fellow
School of Mathematics
Korea Institute for Advanced Study
85 Hoegiro Dongdaemun-gu, Seoul 02455, South Korea
Research Interest
Model theory
Classification theory
Model-theoretic tree properties
Papers
Existence in NSOP1 theories (with Byunghan Kim, Hyoyoon Lee), submitted
Some remarks on Kim-dividing in NATP theories (with Hyoyoon Lee), submitted
Preservation of NATP (with JinHoo Ahn, Hyoyoon Lee, Junguk Lee), Journal of Mathematical Logic, 2024
On the Antichain Tree Property (with JinHoo Ahn, Junguk Lee), Journal of Mathematical Logic, 2023
SOP1, SOP2, and Antichain Tree Property (with JinHoo Ahn), Annals of Pure and Applied Logic, 2024
(thesis) On the hierarchy between SOP1 and SOP2, Yonsei University, 2021, supervisor: prof. Byunghan Kim
Talks
Existence of Kim-independence in NSOP1 theories over sets, Chinese Annual Conference on Mathematical Logic 2024, Peking University, October 27, 2024
Existence of pre-independence relations induced by Morley sequences, KMS Spring Meeting 2024, Daejeon Convention Center, April 19, 2024
Defining smallness and independence in arbitrary mathematical structures from a model-theoretic perspective, Rookies Pitch, Seoul National University, April 16, 2024
Pre-independence relations induced by Morley sequences in NSOP1 theories, Korea Logic Day 2024, Online, Jan 12, 2024
Existence axiom of pre-independence relations in NSOP1 theories, RIMS Model Theory Workshop, Kyoto University, December 5, 2023
Kim-dividing in NATP Theories, The 17th Asian Logic Conference, Nankai Univerisity, October 9, 2023
Dense/Codense expansions on vector spaces, KMS Fall Meeting 2022, Online, October 19, 2022
Kim-Forking and Kim-Dividing in NATP Theories, RIMS Model Theory Workshop 2021, Online, Dec 14, 2021
One-variable theorem for the localized ATP, KMS Fall Meeting 2021, Online, October 19, 2021
One-variable theorem for antichain tree property, Korea Logic Day 2021, Online, Jan 14, 2021
Some remarks on model theoretic tree properties, RIMS Model Theory Workshop 2020, Online, Dec 8, 2020
Antichain tree property and 1-strict strong order property, KMS Spring Meeting 2020, Online, July 3, 2020
Existence of antichain trees in SOP1-NSOP2 theories, KAML Winter Meeting 2019, Yonsei University, Dec 20, 2019
Tree-indiscernibility in SOP1 and antichain trees, RIMS Model Theory Workshop 2019, Kyoto University, Dec 3, 2019