17 citations · 55 across the 36 of their papers we have counts for
Showing 2026 · math.LOShow all
2 papers · 2 filters
math.LO2026
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…
math.LO2026
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…