{"id":"arxiv/2609.36394","url":"https://arxiv.org/abs/2609.36394","tags":["math.LO"],"score":0,"title":"$n$-variable theorems for dividing lines characterized by positive consistency-inconsistency configurations, and their applications to preservation problems","domain":"math.LO","source":"arxiv","authors":["Joonhee Kim"],"reviews":0,"subject":"math.LO","summary":"We define a class of classes of complete first-order theories, denoted by $\\mathfrak{D}_{n\\text{-var}}$, using positive consistency-inconsistency configurations and generalized indiscernibles. It contains the classes of stable, simple, NIP, NTP$_1$, NTP$_2$, NATP, NCTP, NBTP, NWP, NGP, and NPM$^{(k)}$ theories. For any dividing line $D\\in\\mathfrak{D}_{n\\text{-var}}$ and any complete first-order theory $T\\notin D$, we can always find a formula $\\varphi(x,y)$ witnessing $T\\notin D$ with an indexed set of parameters such that the set of its instances required to be consistent has a realization…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-28","reactions":{}}