5 citations · 5 across the 3 of their papers we have counts for
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.LO2012★ 5 cited
Externally definable sets and dependent pairs II
Artem Chernikov, Pierre Simon
We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most importantly: types over finite…