2 citations · 3 across the 5 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
math.LO2026
The Composition Lemma for -dependence
Artem Chernikov, Yuyan He
We prove that a relation obtained by composing arbitrary functions of arity with a relation definable in an -dependent structure is -dependent. This confirms a conj…
math.LO2026
SOP=SOP
Artem Chernikov
The classes of SOP and SOP first-order theories coincide. This answers a question of Džamonja and Shelah from 2004.
math.LO2026
Combinatorics in one-based and related structures
Artem Chernikov, Sergei Starchenko
We consider some extremal combinatorial questions for bipartite graphs definable in stable one-based (and related) structures. We show that they satisfy both strong Erdős-Hajnal pr…