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