17 citations · 55 across the 36 of their papers we have counts for
41 papers
Forking and invariant types in monadic NIP theories
Michael C. Laskowski
We obtain a strong decomposition theorem for invariant global types in a monadically NIP theory. From this, we prove that if an -type does not fork over the…
Borel completeness of -modules when fails the DCC on pp-definable subgroups
Michael C. Laskowski, Danielle S. Ulrich
We prove that for any countable ring (not necessarily commutative), if the associated left -module has a strictly descending sequence of pp-definable subgroups, the…
Equivalents of NOTOP
Michael C. Laskowski, Danielle S. Ulrich
Working within the context of countable, superstable theories, we give many equivalents of a theory having NOTOP. In particular, NOTOP is equivalent to V-DI, the assertion that any…
An analogue of U-rank for atomic classes
John T. Baldwin, Michael C. Laskowski, Saharon Shelah
For a countable, complete, first-order theory , we study , the class of atomic models of . We develop an analogue of -rank and prove two results. On one hand, if some…
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…
Borel complexity of families of finite equivalence relations via large cardinals
Michael C. Laskowski, Danielle S. Ulrich
We consider a large family of theories of equivalence relations, each with finitely many classes, and assuming the existence of an -Erdos cardinal, we determine which of these t…