Borel sets without perfectly many overlapping translations IV
Logic
2023-02-28 v1
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.
Cite
@article{arxiv.2302.12964,
title = {Borel sets without perfectly many overlapping translations IV},
author = {Andrzej Roslanowski and Saharon Shelah},
journal= {arXiv preprint arXiv:2302.12964},
year = {2023}
}