Mekler's Construction and the Preservation of NCTP and NBTP
JinHoo Ahn, Joonhee Kim
TL;DR
This paper establishes criteria for identifying NCTP and NBTP theories using tree-indiscernibility and demonstrates that Mekler's construction preserves these properties.
Contribution
It introduces criteria for NCTP and NBTP theories and proves that Mekler's construction maintains these properties.
Findings
Mekler's construction preserves NCTP.
Mekler's construction preserves NBTP.
Provides criteria for NCTP and NBTP using tree-indiscernibility.
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Constraint Satisfaction and Optimization · Polynomial and algebraic computation