1 citations · 2 across the 3 of their papers we have counts for
4 papers
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…
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…
On the Antichain Tree Property
JinHoo Ahn, Joonhee Kim, Junguk Lee
In this note, we investigate a new model theoretical tree property, called the antichain tree property (ATP). We develop combinatorial techniques for ATP. First, we show that ATP i…
SOP, SOP, and antichain tree property
JinHoo Ahn, Joonhee Kim
In this paper, we study some tree properties and their related indiscernibilities. First, we prove that SOP can be witnessed by a formula with a tree of tuples holding 'arbitra…