17 citations · 30 across the 7 of their papers we have counts for
7 papers
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…
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…
Theories with few non-algebraic types over models, and their decompositions
Samuel Braunfeld, Michael C Laskowski
We consider several ways of decomposing models into parts of bounded size forming a congruence over a base, and show that admitting any such decomposition is equivalent to mutual a…
Worst case expansions of complete theories
Samuel Braunfeld, Michael C. Laskowski
Given a complete theory and a subset , we precisely determine the {\em worst case complexity}, with respect to further monadic expansions, of an expansion $(M,…
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…
Mutual algebraicity and cellularity
Samuel Braunfeld, Michael C. Laskowski
We prove two results intended to streamline proofs about cellularity that pass through mutual algebraicity. First, we show that a countable structure is cellular if and only if…
Counting siblings in universal theories
Samuel Braunfeld, Michael C. Laskowski
We show that if a countable structure in a finite relational language is not cellular, then there is an age-preserving such that many structures…