Byunghan Kim

According to our database, Byunghan Kim authored at least 25 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Transitivity, Lowness, and ranks in Nsop Theories.

Artem Chernikov, Byunghan Kim, Nicholas Ramsey

J. Symb. Log., 2023

2022

Independence over arbitrary sets in NSOP₁ theories.

Jan Dobrowolski, Byunghan Kim, Nicholas Ramsey

Ann. Pure Appl. Log., 2022

2021

Weak Canonical Bases in Nsop 11_1 Theories.

Byunghan Kim

J. Symb. Log., 2021

The Relativized Lascar Groups, Type-Amalgamation, and algebraicity.

Jan Dobrowolski, Byunghan Kim, Alexei Kolesnikov, Junguk Lee

J. Symb. Log., 2021

2019

On the number of Countable Models of a Countable Nsop1 Theory without weight ω.

Byunghan Kim

J. Symb. Log., 2019

2017

Homology groups of types in stable theories and the Hurewicz correspondence.

John Goodrick, Byunghan Kim, Alexei S. Kolesnikov

Ann. Pure Appl. Log., 2017

The Lascar groups and the first homology groups in model theory.

Jan Dobrowolski, Byunghan Kim, Junguk Lee

Ann. Pure Appl. Log., 2017

2016

On the n-uniqueness of types in rosy theories.

Byunghan Kim

Arch. Math. Log., 2016

2015

A Classification of 2-Chains having 1-Shell Boundaries in rosy Theories.

Byunghan Kim, Sunyoung Kim, Junguk Lee

J. Symb. Log., 2015

Type-amalgamation properties and polygroupoids in stable theories.

John Goodrick, Byunghan Kim, Alexei S. Kolesnikov

J. Math. Log., 2015

2014

Tree indiscernibilities, revisited.

Byunghan Kim, Hyeung-Joon Kim, Lynn Scow

Arch. Math. Log., 2014

2013

The Lascar Group and the Strong Types of Hyperimaginaries.

Byunghan Kim

Notre Dame J. Formal Log., 2013

Homology groups of types in model theory and the computation of H_2(p).

John Goodrick, Byunghan Kim, Alexei S. Kolesnikov

J. Symb. Log., 2013

2011

Notions around tree property 1.

Byunghan Kim, Hyeung-Joon Kim

Ann. Pure Appl. Log., 2011

2010

Recovering the hyperdefinable group action in the group configuration theorem.

Byunghan Kim

J. Symb. Log., 2010

2008

Generalized amalgamation and n-simplicity.

Byunghan Kim, Alexei S. Kolesnikov, Akito Tsuboi

Ann. Pure Appl. Log., 2008

2007

Stable definability and generic relations.

Byunghan Kim, Rahim Moosa

J. Symb. Log., 2007

A note on weak dividing.

Byunghan Kim, Niandong Shi

Arch. Math. Log., 2007

2006

Constructing the hyperdefinable Group from the Group Configuration.

Tristram de Piro, Byunghan Kim, Jessica Millar

J. Math. Log., 2006

2001

Simplicity, and Stability in There.

Byunghan Kim

J. Symb. Log., 2001

2000

Coordinatisation and Canonical Bases in Simple Theories.

Bradd Hart, Byunghan Kim, Anand Pillay

J. Symb. Log., 2000

1998

A Supersimple Nonlow Theory.

Enrique Casanovas, Byunghan Kim

Notre Dame J. Formal Log., 1998

A Note on Lascar Strong Types in Simple Theories.

Byunghan Kim

J. Symb. Log., 1998

From stability to simplicity.

Byunghan Kim, Anand Pillay

Bull. Symb. Log., 1998

1997

Simple Theories.

Byunghan Kim, Anand Pillay

Ann. Pure Appl. Log., 1997