Showing math.LOShow all
2 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.LO2024
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…