25 citations · 47 across the 13 of their papers we have counts for
16 papers
Automorphism groups over a hyperimaginary
Byunghan Kim, Hyoyoon Lee
In this paper we study the Lascar group over a hyperimaginary e. We verify that various results about the group over a real set still hold when the set is replaced by e. First of a…
Transitivity, lowness, and ranks in NSOP theories
Artem Chernikov, Byunghan Kim, Nicholas Ramsey
We develop the theory of Kim-independence in the context of NSOP theories satsifying the existence axiom. We show that, in such theories, Kim-independence is transitive and t…
The relativized Lascar groups, type-amalgamation, and algebraicity
Jan Dobrowolski, Byunghan Kim, Alexei Kolesnikov +1
We apply compact group theory to obtain some model-theoretic results about the relativized Lascar Galois group of a strong type.
Independence over arbitrary sets in NSOP theories
Jan Dobrowolski, Byunghan Kim, Nicholas Ramsey
We study Kim-independence over arbitrary sets. Assuming that forking satisfies existence, we establish Kim's lemma for Kim-dividing over arbitrary sets in an NSOP theory. We…
More on tree properties
Enrique Casanovas, Byunghan Kim
Tree properties are introduced by Shelah, and it is well-known that a theory has TP (the tree property) if and only if it has TP or TP. In any simple theory (i.e., a theory…
The Lascar groups and the 1st homology groups in model theory
Jan Dobrowolski, Byunghan Kim, Junguk Lee
Let be a strong type of an algebraically closed tuple over $B=\acl^{\eq}(B)$ in any theory . Depending on a ternary relation $\indo^*$ satisfying some basic axioms (there is…