Showing math.LOShow all
3 papers · 1 filter
math.LO2025
Existential characterizations of monadic NIP
Samuel Braunfeld, Michael C. Laskowski
We show that if a universal theory is not monadically NIP, then this is witnessed by a canonical configuration defined by an existential formula. As a consequence, we show that a h…
math.LO2025
Indiscernibles in monadically NIP theories
Samuel Braunfeld, Michael C. Laskowski
We prove various results around indiscernibles in monadically NIP theories. First, we provide several characterizations of monadic NIP in terms of indiscernibles, mirroring previou…
math.LO2024
Characterizations of monadic NIP
Samuel Braunfeld, Michael C. Laskowski
We give several characterizations of when a complete first-order theory is monadically NIP, i.e. when expansions of by arbitrary unary predicates do not have the independen…