Byunghan Kim

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 10

Top Topics

Classification Trees

Defeasible Logic

Top Venues

Ann. Pure Appl. Log.

Arch. Math. Log.

Publications

Artem Chernikov, Byunghan Kim, Nicholas Ramsey
Transitivity, Lowness, and ranks in Nsop Theories. J. Symb. Log. 88 (3) (2023)
Jan Dobrowolski, Byunghan Kim, Nicholas Ramsey
theories. Ann. Pure Appl. Log. 173 (2) (2022)
Jan Dobrowolski, Byunghan Kim, Alexei Kolesnikov, Junguk Lee
The Relativized Lascar Groups, Type-Amalgamation, and algebraicity. J. Symb. Log. 86 (2) (2021)
Byunghan Kim
Weak Canonical Bases in Nsop 11_1 Theories. J. Symb. Log. 86 (3) (2021)
Byunghan Kim
On the number of Countable Models of a Countable Nsop1 Theory without weight ω. J. Symb. Log. 84 (3) (2019)
Jan Dobrowolski, Byunghan Kim, Junguk Lee
The Lascar groups and the first homology groups in model theory. Ann. Pure Appl. Log. 168 (12) (2017)
John Goodrick, Byunghan Kim, Alexei S. Kolesnikov
Homology groups of types in stable theories and the Hurewicz correspondence. Ann. Pure Appl. Log. 168 (9) (2017)
Byunghan Kim
On the n-uniqueness of types in rosy theories. Arch. Math. Log. 55 (5-6) (2016)
Byunghan Kim, Sunyoung Kim, Junguk Lee
A Classification of 2-Chains having 1-Shell Boundaries in rosy Theories. J. Symb. Log. 80 (1) (2015)
John Goodrick, Byunghan Kim, Alexei S. Kolesnikov
Type-amalgamation properties and polygroupoids in stable theories. J. Math. Log. 15 (1) (2015)
Byunghan Kim, Hyeung-Joon Kim, Lynn Scow
Tree indiscernibilities, revisited. Arch. Math. Log. 53 (1-2) (2014)
Byunghan Kim
The Lascar Group and the Strong Types of Hyperimaginaries. Notre Dame J. Formal Log. 54 (3-4) (2013)
John Goodrick, Byunghan Kim, Alexei S. Kolesnikov
. J. Symb. Log. 78 (4) (2013)
Byunghan Kim, Hyeung-Joon Kim
Notions around tree property 1. Ann. Pure Appl. Log. 162 (9) (2011)
Byunghan Kim
Recovering the hyperdefinable group action in the group configuration theorem. J. Symb. Log. 75 (1) (2010)
Byunghan Kim, Alexei S. Kolesnikov, Akito Tsuboi
Generalized amalgamation and n-simplicity. Ann. Pure Appl. Log. 155 (2) (2008)
Byunghan Kim, Niandong Shi
A note on weak dividing. Arch. Math. Log. 46 (2) (2007)
Byunghan Kim, Rahim Moosa
Stable definability and generic relations. J. Symb. Log. 72 (4) (2007)
Tristram de Piro, Byunghan Kim, Jessica Millar
Constructing the hyperdefinable Group from the Group Configuration. J. Math. Log. 6 (2) (2006)
Byunghan Kim
Simplicity, and Stability in There. J. Symb. Log. 66 (2) (2001)
Bradd Hart, Byunghan Kim, Anand Pillay
Coordinatisation and Canonical Bases in Simple Theories. J. Symb. Log. 65 (1) (2000)
Byunghan Kim, Anand Pillay
From stability to simplicity. Bull. Symb. Log. 4 (1) (1998)
Byunghan Kim
A Note on Lascar Strong Types in Simple Theories. J. Symb. Log. 63 (3) (1998)
Enrique Casanovas, Byunghan Kim
A Supersimple Nonlow Theory. Notre Dame J. Formal Log. 39 (4) (1998)
Byunghan Kim, Anand Pillay
Simple Theories. Ann. Pure Appl. Log. 88 (2-3) (1997)