Showing math.LOShow all
3 papers · 1 filter
math.LO2025
Externally definable fsg groups in NIP theories
Artem Chernikov
We show that every fsg group externally definable in an NIP structure is definably isomorphic to a group interpretable in it. Our proof relies on honest definitions and a group chu…
math.LO2025
Definable convolution and idempotent Keisler measures III. Generic stability, generic transitivity, and revised Newelski's conjecture
Artem Chernikov, Kyle Gannon, Krzysztof KrupiÅski
We study idempotent measures and the structure of the convolution semigroups of measures over definable groups. We isolate the property of generic transitivity and demonstrate that…
math.LO2025
On n-dependent groups and fields III. Multilinear forms and invariant connected components
Artem Chernikov, Nadja Hempel
We develop some model theory of multi-linear forms, generalizing Granger in the bi-linear case. In particular, after proving a quantifier elimination result, we show that for an NI…