2 papers
math.LO2025
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.LO2024
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…