Borel sets without perfectly many overlapping translations IV (2302.12964v1)

Abstract: We show that, consistently, there exists a Borel set B subset Cantor admitting a sequence (eta_alpha:alpha<lambda) of distinct elements of Cantor such that (eta_alpha+B) cap (eta_beta+B) is uncountable for all alpha,beta<lambda but with no perfect set P such that |(eta+B) cap (nu+B)|\>5 for any distinct eta,nu from P. This answers two questions from our previous works.