{"id":"arxiv/2606.03366","url":"https://arxiv.org/abs/2606.03366","tags":["math.LO"],"score":0,"title":"Everywhere $\\mathcal{I}$ sets","domain":"math.LO","source":"arxiv","authors":["Jakub Cieplechowicz","Szymon Żeberski"],"reviews":0,"subject":"math.LO","summary":"Let $\\mathcal{I}$ be a $σ$-ideal on the Cantor space $2^ω$. A set $X\\subseteq 2^ω$ is called everywhere $\\mathcal{I}$ if for any $S\\in [ω]^ω$ the set $X\\!\\restriction\\! S\\in\\mathcal{I}(2^S).$ We will discuss relations between such families in the class of perfect and Borel sets.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-02","reactions":{}}