collaborators

2 papers

math.LO2026

Mekler's Construction and the Preservation of NCTP and NBTP

JinHoo Ahn, Joonhee Kim

We give criteria for a first-order theory to be NCTP or NBTP using tree-indiscernibility. As an application, we show that Mekler's construction preserves NCTP and NBTP.

math.LO2024

Existence in NSOP theories

Byunghan Kim, Joonhee Kim, Hyoyoon Lee

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