activity
20212026
most citedSome Remarks on Kim-dividing in NATP Theories

1 citations · 3 across the 5 of their papers we have counts for

collaborators

6 papers

math.CO2026

Ramsey properties of trees and -relations via the partite construction

Hyoyoon Lee

Finite convexly ordered binary branching -relations have been viewed as a notable exception to the broad applicability of the partite construction in structural Ramsey theory. T…

math.LO2024

Existence in NSOP theories

Byunghan Kim, Joonhee Kim, Hyoyoon Lee

We show that Kim-forking satisfies existence in all NSOP theories.

math.LO2024

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 and…

math.LO2022★ 1 cited

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…

math.LO2022★ 1 cited

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ïss…

math.LO2021★ 1 cited

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…