Braunfeld's monadic NIP orbit-growth conjecture

Let c9c9-categorical mean categorical in every infinite cardinality, let c1c1-categorical structures be countable here, and for a countable c9c9-categorical structure c4c4 let un(c4)u_n(c4) denote the number of orbits of c0goperatornameAut(c4)c0 goperatorname{Aut}(c4) on nn-element subsets of c4c4. A structure is monadically NIP if every expansion by unary predicates is NIP.

Braunfeld's monadic NIP orbit-growth conjecture. For a countable c9c9-categorical structure c4c4, c4c4 is monadically NIP if and only if

un(c4)<cnu_n(c4)<c^n

for some c~bbRc\tilde{}bb R.

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

Never refreshed

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.