How to avoid a compact set

DOI10.1016/J.AIM.2017.07.011MaRDI QIDQ2014009zbMATH OpenOpenAlexFDO

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, http://hdl.handle.net/2158/1108489

zbMATH Keywords

expansions of the ordered real additive groupHausdorff dimensionpacking dimensiontopological dimension

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model theory of ordered structures; o-minimality (03C64) Descriptive set theory (03E15) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Hausdorff and packing measures (28A78) Fractals (28A80) 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.

Review text

In the present paper, expansions of the ordered real additive group \(\langle \mathbb{R}, <, +\rangle\) are studied. In particular, metric dimensions of definable sets (topological, Hausdorff, packing and naïve) are considered. The main result of the paper is that for all \(k, n < \omega\) if \(A\subseteq \mathbb{R}^k\) is closed and nonempty and the Hausdorff dimension exceeds its topological one, then every compact subset of \(\mathbb{R}^n\) can be constructed from \(A\) using finitely many Boolean operations, Cartesian products and linear operations. In addition, the authors show that this statement fails when the packing dimension replaces the Hausdorff 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

• 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.
• 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?)
• 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

(9)

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

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)