Answers are grounded in this paper and cite their sources.
The authors correct results in “Characterizations of monadic NIP” [Trans. Amer. Math. Soc. Ser. B 8 (2021), pp. 948–970]. The notion of endless indiscernible triviality is introduced and replaces indiscernible triviality throughout, in particular in Theorem 1.1. The claim regarding the failure of 4-wqo in Theorem 1.2 is withdrawn and remains unproved.
No takes yet. Share an insight, caveat, or question.
Braunfeld et al. (2024) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: