Simple Theories. - Byunghan Kim; Anand Pillay (Ann. Pure Appl. Log., 1997)

From stability to simplicity. - Byunghan Kim; Anand Pillay (Bull. Symb. Log., 1998)

A Note on Lascar Strong Types in Simple Theories. - Byunghan Kim (J. Symb. Log., 1998)

A Supersimple Nonlow Theory. - Enrique Casanovas; Byunghan Kim (Notre Dame J. Formal Log., 1998)

Coordinatisation and Canonical Bases in Simple Theories. - Bradd Hart; Byunghan Kim; Anand Pillay (J. Symb. Log., 2000)

Simplicity, and Stability in There. - Byunghan Kim (J. Symb. Log., 2001)

Constructing the hyperdefinable Group from the Group Configuration. - Tristram de Piro; Byunghan Kim; Jessica Millar (J. Math. Log., 2006)

A note on weak dividing. - Byunghan Kim; Niandong Shi (Arch. Math. Log., 2007)

Stable definability and generic relations. - Byunghan Kim; Rahim Moosa (J. Symb. Log., 2007)

Generalized amalgamation and n-simplicity. - Byunghan Kim; Alexei S. Kolesnikov; Akito Tsuboi (Ann. Pure Appl. Log., 2008)

Recovering the hyperdefinable group action in the group configuration theorem. - Byunghan Kim (J. Symb. Log., 2010)

Notions around tree property 1. - Byunghan Kim; Hyeung-Joon Kim (Ann. Pure Appl. Log., 2011)

Homology groups of types in model theory and the computation of H2(p). - John Goodrick; Byunghan Kim; Alexei S. Kolesnikov (J. Symb. Log., 2013)

The Lascar Group and the Strong Types of Hyperimaginaries. - Byunghan Kim (Notre Dame J. Formal Log., 2013)

Tree indiscernibilities, revisited. - Byunghan Kim; Hyeung-Joon Kim; Lynn Scow (Arch. Math. Log., 2014)

Type-amalgamation properties and polygroupoids in stable theories. - John Goodrick; Byunghan Kim; Alexei S. Kolesnikov (J. Math. Log., 2015)

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

On the n-uniqueness of types in rosy theories. - Byunghan Kim (Arch. Math. Log., 2016)

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

Homology groups of types in stable theories and the Hurewicz correspondence. - John Goodrick; Byunghan Kim; Alexei S. Kolesnikov (Ann. Pure Appl. Log., 2017)

On the number of Countable Models of a Countable Nsop1 Theory without weight ω. - Byunghan Kim (J. Symb. Log., 2019)

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

Weak Canonical Bases in Nsop 11_1 Theories. - Byunghan Kim (J. Symb. Log., 2021)

Independence over arbitrary sets in NSOP1 theories. - Jan Dobrowolski; Byunghan Kim; Nicholas Ramsey (Ann. Pure Appl. Log., 2022)

Transitivity, Lowness, and ranks in Nsop Theories. - Artem Chernikov; Byunghan Kim; Nicholas Ramsey (J. Symb. Log., 2023)