Byunghan Kim

25 papers Journal 25
YearRankTypeTitle / Venue / Authors
2023 J jnl
Transitivity, Lowness, and ranks in Nsop Theories.
J. Symb. Log.
Artem Chernikov, Byunghan Kim, Nicholas Ramsey
2022 J jnl
Independence over arbitrary sets in NSOP
Ann. Pure Appl. Log.
Jan Dobrowolski, Byunghan Kim, Nicholas Ramsey
2021 J jnl
The Relativized Lascar Groups, Type-Amalgamation, and algebraicity.
J. Symb. Log.
Jan Dobrowolski, Byunghan Kim, Alexei Kolesnikov, Junguk Lee
2021 J jnl
Weak Canonical Bases in Nsop 11_1 Theories.
J. Symb. Log.
Byunghan Kim
2019 J jnl
On the number of Countable Models of a Countable Nsop1 Theory without weight ω.
J. Symb. Log.
Byunghan Kim
2017 J jnl
Homology groups of types in stable theories and the Hurewicz correspondence.
Ann. Pure Appl. Log.
John Goodrick, Byunghan Kim, Alexei S. Kolesnikov
2017 J jnl
The Lascar groups and the first homology groups in model theory.
Ann. Pure Appl. Log.
Jan Dobrowolski, Byunghan Kim, Junguk Lee
2016 J jnl
On the n-uniqueness of types in rosy theories.
Arch. Math. Log.
Byunghan Kim
2015 J jnl
A Classification of 2-Chains having 1-Shell Boundaries in rosy Theories.
J. Symb. Log.
Byunghan Kim, Sunyoung Kim, Junguk Lee
2015 J jnl
Type-amalgamation properties and polygroupoids in stable theories.
J. Math. Log.
John Goodrick, Byunghan Kim, Alexei S. Kolesnikov
2014 J jnl
Tree indiscernibilities, revisited.
Arch. Math. Log.
Byunghan Kim, Hyeung-Joon Kim, Lynn Scow
2013 J jnl
Homology groups of types in model theory and the computation of H
J. Symb. Log.
John Goodrick, Byunghan Kim, Alexei S. Kolesnikov
2013 J jnl
The Lascar Group and the Strong Types of Hyperimaginaries.
Notre Dame J. Formal Log.
Byunghan Kim
2011 J jnl
Notions around tree property 1.
Ann. Pure Appl. Log.
Byunghan Kim, Hyeung-Joon Kim
2010 J jnl
Recovering the hyperdefinable group action in the group configuration theorem.
J. Symb. Log.
Byunghan Kim
2008 J jnl
Generalized amalgamation and n-simplicity.
Ann. Pure Appl. Log.
Byunghan Kim, Alexei S. Kolesnikov, Akito Tsuboi
2007 J jnl
A note on weak dividing.
Arch. Math. Log.
Byunghan Kim, Niandong Shi
2007 J jnl
Stable definability and generic relations.
J. Symb. Log.
Byunghan Kim, Rahim Moosa
2006 J jnl
Constructing the hyperdefinable Group from the Group Configuration.
J. Math. Log.
Tristram de Piro, Byunghan Kim, Jessica Millar
2001 J jnl
Simplicity, and Stability in There.
J. Symb. Log.
Byunghan Kim
2000 J jnl
Coordinatisation and Canonical Bases in Simple Theories.
J. Symb. Log.
Bradd Hart, Byunghan Kim, Anand Pillay
1998 J jnl
A Note on Lascar Strong Types in Simple Theories.
J. Symb. Log.
Byunghan Kim
1998 J jnl
A Supersimple Nonlow Theory.
Notre Dame J. Formal Log.
Enrique Casanovas, Byunghan Kim
1998 J jnl
From stability to simplicity.
Bull. Symb. Log.
Byunghan Kim, Anand Pillay
1997 J jnl
Simple Theories.
Ann. Pure Appl. Log.
Byunghan Kim, Anand Pillay