Adler's conjecture on spectra of two-cardinal counting functions
Let be a countable theory and let be the associated two-cardinal counting function for infinite cardinals . Adler's counting-spectrum conjecture. There are only finitely many possible functions as ranges over countable theories, and the property that is NTP can be detected from . If has TP, the function is maximal, namely for all . The first assertion is addressed by later results in the paper, while the second is explicitly refuted by the counterexample identified below.
References
Primary source
Artem Chernikov and Chuyin Jiang, “Fractional Helly property and combinatorics of forking in NTP_2 theories”, arXiv:2605.18123 (2026).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
No solutions have been posted yet.