Braunfeld's monadic NIP orbit-growth conjecture
Braunfeld's monadic NIP orbit-growth conjecture
Let -categorical mean categorical in every infinite cardinality, let -categorical structures be countable here, and for a countable -categorical structure let denote the number of orbits of on -element subsets of . A structure is monadically NIP if every expansion by unary predicates is NIP.
Braunfeld's monadic NIP orbit-growth conjecture. For a countable -categorical structure , is monadically NIP if and only if
for some .
This conjecture is cited from Braunfeld's work as the reason no orbit-growth characterization of monadically NIP structures is currently known. The paper proves the analogous closure result for model-complete cores, but does not resolve this characterization.
Sources & referencesView supporting material
Primary source
Manuel Bodirsky, Bertalan Bodor and Paolo Marimon, “Taking model-complete cores”, arXiv:2512.21278 (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
Sign in to submit a solution.
No solutions have been posted yet.