Research Fellow
School of Mathematics
Korea Institute for Advanced Study
85 Hoegiro Dongdaemun-gu, Seoul 02455, South Korea
Research Interest
Model Theory
Classification Theory
Tree Properties
Pre-independence Relations
Papers
Existence of Kim-independence over sets in NSOP1 theories (with Byunghan Kim, Hyoyoon Lee), in preparation
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
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 University, 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