A Classification of 2-Chains having 1-Shell Boundaries in rosy Theories. - Byunghan Kim; Sunyoung Kim; Junguk Lee (J. Symb. Log., 2015)

The Lascar groups and the first homology groups in model theory. - Jan Dobrowolski; Byunghan Kim; Junguk Lee (Ann. Pure Appl. Log., 2017)

Geometric stability theory for μ-structures. - Junguk Lee (Ann. Pure Appl. Log., 2019)

Elementary Equivalence Theorem for PAC Structures. - Jan Dobrowolski; Daniel Max Hoffmann; Junguk Lee (J. Symb. Log., 2020)

On the structure of certain valued fields. - Junguk Lee; Wan Lee (Ann. Pure Appl. Log., 2021)

The Relativized Lascar Groups, Type-Amalgamation, and algebraicity. - Jan Dobrowolski; Byunghan Kim; Alexei Kolesnikov; Junguk Lee (J. Symb. Log., 2021)

The Embedding Property for Sorted Profinite Groups. - Junguk Lee (J. Symb. Log., 2023)

On the antichain tree property. - JinHoo Ahn; Joonhee Kim; Junguk Lee (J. Math. Log., 2023)

Co-theory of sorted profinite groups for PAC structures. - Daniel Max Hoffmann; Junguk Lee (J. Math. Log., 2023)

Preservation of NATP. - JinHoo Ahn; Joonhee Kim; Hyoyoon Lee; Junguk Lee (J. Math. Log., 2025)

Relativized Galois groups of first order theories over a hyperimaginary. - Hyoyoon Lee; Junguk Lee (Arch. Math. Log., 2025)