5 papers · 1 filter
Existence in NSOP theories
Byunghan Kim, Joonhee Kim, Hyoyoon Lee
We show that Kim-forking satisfies existence in all NSOP theories.
Some Remarks on Kim-dividing in NATP Theories
Joonhee Kim, Hyoyoon Lee
In this note, we prove that Kim-dividing over models is always witnessed by a coheir Morley sequence in NATP theories. Following the strategy of Chernikov and Kaplan [8], we obtain…
Relativized Galois groups of first order theories over a hyperimaginary
Hyoyoon Lee, Junguk Lee
We study relativized Lascar groups, which are formed by relativizing Lascar groups to the solution set of a partial type . We introduce the notion of a Lascar tuple for an…
Preservation of NATP
JinHoo Ahn, Joonhee Kim, Hyoyoon Lee +1
We prove several preservation theorems for NATP and furnish several examples of NATP. First, we prove preservation of NATP for the parametrization and sum of the theories of Fraïs…
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…