Companionability Characterization for the Expansion of an O-minimal Theory by a Dense Subgroup

Alexi Block Gorman

This paper provides a full characterization for when the expansion of a complete o-minimal theory by a unary predicate that picks out a divisible dense and codense subgroup has a m…