How to avoid a compact set
Antongiulio Fornasiero, Philipp Hieronymi, Erik Walsberg

TL;DR
This paper characterizes when a first-order expansion of the real line can define all compact sets, showing it depends on the coincidence of topological and Hausdorff dimensions on closed definable sets.
Contribution
It establishes a precise condition involving dimension coincidence that determines the definability of all compact sets in expansions of the real line.
Findings
Equivalence between dimension coincidence and definability of all compact sets.
Failure of the same condition when using packing dimension.
Characterization of definability in terms of topological and Hausdorff dimensions.
Abstract
A first-order expansion of the -vector space structure on does not define every compact subset of every if and only if topological and Hausdorff dimension coincide on all closed definable sets. Equivalently, if is closed and the Hausdorff dimension of exceeds the topological dimension of , then every compact subset of every can be constructed from using finitely many boolean operations, cartesian products, and linear operations. The same statement fails when Hausdorff dimension is replaced by packing dimension.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
