Research

Interests : 

• Model Theory

• Galois groups of the first order theories

• Algebraic model theory and model theory of valued fields

• PAC structures

• Topological dynamics in model theory

• Ramsey properties for first order theories 

Submitted papers/Preprints

1. Relativized Galois groups of first order theories over a hyperimaginary(with Hyoyoon Lee), submitted or arXiv

2. Non-cognreunt numbers with odd prime factors of the form 8k+5 and 2-nilpotent graphs(with Ringi Kim, Wan Lee, and Myungjun Yu), submitted 

Publications

1. Preservation of NATP(with JinHoo Ahn, Joonhee Kim, and Hyoyoon Lee), accepted in J. Math. Log., or arXiv

2. The embedding property for sorted profinite groups, J. Symb. Log., 88 (2023), 1005-1037, or arXiv

3. Co-theory of sorted profinite groups for PAC structures(with Daniel Hoffmann), J. Math. Log., 23 (2023), 2250030, 60 pp, or arXiv

4. On the antichain tree property(with JinHoo Ahn and Joonhee Kim), J. Math. Log., 23 (2023), 2250021, 36 pp, or arXiv

5. Families of non-congruent numbers with odd prime factors of the form 8k+3(with Wan Lee, Hayan Nam, and Myungjun Yu), J. Number Theory, 238 (2022), 474-501.

6. Ramsey theory and topological dynamics for first order theories(with Krzysztof Krupinski and Slavko Moconja), Trans. Amer. Math. Soc., 375 (2022), 2553-2596, or arXiv

7. The relativized Lascar groups, type-amalgamation, and algebraicity(with Jan Dobrwolski, Alexei Kolesnkov, and Byunghan Kim), J. Symb. Log., 86 (2021), 531-557, or arXiv

8. On the structure of certain valued fields(with Wan Lee), Ann. Pure Appl. Logic., 172 (2021), 102927, or arXiv

9. Elementary equivalence theorem for PAC structures(with Jan Dobrowolski and Daniel Hoffmann), J. Symb. Log., 85 (2020), 1467-1498, or arXiv

10. Hyperfields, Truncated DVRs, and Valued fields, J. Number Theory, 212 (2020), 40-71,  or arXiv

11. Non-commutative groupoids obtained from the failure of 3-uniqueness in stable theories(with Byunghan Kim and SunYoung Kim), Fund. Math., 249 (2020), 47-70, or arXiv

12. Geometric stability theory for mu-structures(with an appendix by Michael P. Cohen and Phillip Wesolek), Ann. Pure Appl. Logic, 170 (2019), 843-866, or arXiv

13. The Lascar groups and the first homology groups in model theory(with Jan Dobrowolski and Byunghan Kim), Ann. Pure Appl. Logic, 168 (2017), 2129-2151, or arXiv

14. Some arithmetic properties on nonstandard rationals, J. Korean Math. Soc., 54 (2017), 1345-1356, or arXiv

15. More on 2-chains with 1-shell boundaries in rosy theories(with SunYoung Kim), J. Math. Soc. Japan, 69 (2017), 93-109

16. A classification of 2-chains having 1-shell boundaries in rosy theories(with Byunghan Kim and SunYoung Kim), J. Symb. Log., 80 (2015), 322-340, or arXiv

Refereed Conference Papers

1. The first homology group of a G-set, Proceedings of the 14th and 15th Asian Logic Conferences, World Scientific, (2019)

Unpublished papers

1.  Lascar groups and the first homology groups of strong types in rosy theories. arXiv, merged with the paper "The Lascar groups and the 1st homology groups in model theory".

2. The embedding property, revisited, submitted to RIMS Kokuroku

3. The AKE principle meets Classification Theory, RIMS Kokyuroku, No. 2218, May 2022