pith. sign in

arxiv: 1806.06283 · v1 · pith:ZN6T3QXCnew · submitted 2018-06-16 · 🧮 math.LO

Borel sets without perfectly many overlapping translations

classification 🧮 math.LO
keywords alphalambdabetaboreltherecantorcardinalclosely
0
0 comments X
read the original abstract

For a cardinal lambda<lambda_{omega_1} we give a ccc forcing notion P which forces that for some Borel subset B of the Cantor space (1) there a sequence (eta_alpha:alpha<lambda) of distinct elements such that |(eta_alpha+B) cap (eta_beta+B)|>5 for all alpha,beta<lambda, but (2) there is no perfect set of such eta's. The construction closely follows the one from Shelah math.LO/9802134

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.