How to avoid a compact set

DOI10.1016/J.AIM.2017.07.011MaRDI QIDQ2014009zbMATHOpenAlexFDO

Authors A. Fornasiero, Philipp Hieronymi, Erik Walsberg

Publication date 10 August 2017

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1612.00785

zbMATH Keywords

Hausdorff dimensionpacking dimensiontopological dimensionexpansions of the ordered real additive group

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Hausdorff and packing measures (28A78) Fractals (28A80) Model theory of ordered structures; o-minimality (03C64) Descriptive set theory (03E15) Dimension theory in general topology (54F45)

Abstract: A first-order expansion of the $mathbbR$-vector space structure on $mathbbR$ does not define every compact subset of every $mathbb{R}^n$ if and only if topological and Hausdorff dimension coincide on all closed definable sets. Equivalently, if $Asubseteqmathbb{R}^k$ is closed and the Hausdorff dimension of $A$ exceeds the topological dimension of $A$, then every compact subset of every $mathbb{R}^n$ can be constructed from $A$ using finitely many boolean operations, cartesian products, and linear operations. The same statement fails when Hausdorff dimension is replaced by packing dimension.

Recommendations

• Metric dimensions and tameness in expansions of the real field
• Coarse dimension and definable sets in expansions of the ordered real vector space
• A dichotomy for expansions of the real field
• Dimensional coincidence does not imply measure-theoretic tameness
• Sets of large dimension not containing polynomial configurations

Cites work

• scientific article; zbMATH DE number 3622573 (Why is no real title available?)
• scientific article; zbMATH DE number 1223712 (Why is no real title available?)
• scientific article; zbMATH DE number 721194 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• scientific article; zbMATH DE number 1994007 (Why is no real title available?)
• scientific article; zbMATH DE number 3794378 (Why is no real title available?)
• scientific article; zbMATH DE number 1444018 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• scientific article; zbMATH DE number 2222021 (Why is no real title available?)
• A Guide to NIP Theories
• A tame Cantor set
• An analogue of Cobham's theorem for graph directed iterated function systems
• An analogue of Cobham’s theorem for fractals
• Automata theory and its applications
• Between groups and rings
• Complements of subanalytic sets and existential formulas for analytic functions
• Defining the set of integers in expansions of the real field by a closed discrete set
• Expansions of o-minimal structures by sparse sets
• Expansions of the real field by open sets: definability versus interpretability
• Hausdorff dimension, analytic sets and transcendence.
• Interpreting the monadic second order theory of one successor in expansions of the real line
• Interpreting the projective hierarchy in expansions of the real line
• Model Theory
• Remarks on dimensions of Cartesian product sets
• Structures having o-minimal open core
• When is scalar multiplication decidable?

Cited in

(8)

• A tetrachotomy for expansions of the real ordered additive group
• Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022
• Metric dimensions and tameness in expansions of the real field
• Dimensional coincidence does not imply measure-theoretic tameness
• Coarse dimension and definable sets in expansions of the ordered real vector space
• scientific article; zbMATH DE number 7168153 (Why is no real title available?)
• Fractals and the monadic second order theory of one successor
• Externally definable quotients and NIP expansions of the real ordered additive group

This page was built for publication: How to avoid a compact set

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2014009)