31 citations · 144 across the 14 of their papers we have counts for
Showing 2021 · math.LOShow all
2 papers · 2 filters
math.LO2021★ 2 cited
Density of compressible types and some consequences
Martin Bays, Itay Kaplan, Pierre Simon
We study compressible types in the context of (local and global) NIP. By extending a result in machine learning theory (the existence of a bound on the recursive teaching dimension…
math.LO2021★ 3 cited
Incidence bounds in positive characteristic via valuations and distality
Martin Bays, Jean-François Martin
We prove distality of quantifier-free relations on valued fields with finite residue field. By a result of Chernikov-Galvin-Starchenko, this yields Szemerédi-Trotter-like incidence…