How to avoid a compact set

DOI10.1016/J.AIM.2017.07.011zbMATH Open1414.03009arXiv1612.00785OpenAlexW2963903863MaRDI QIDQ2014009FDOQ2014009

Authors: A. Fornasiero, Philipp Hieronymi, Erik Walsberg 

Publication date: 10 August 2017

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model Theory
• Title not available (Why is that?)
• Interpreting the projective hierarchy in expansions of the real line
• Structures having o-minimal open core
• Title not available (Why is that?)
• Title not available (Why is that?)
• An analogue of Cobham's theorem for graph directed iterated function systems
• An analogue of Cobham’s theorem for fractals
• Between groups and rings
• Complements of subanalytic sets and existential formulas for analytic functions
• Automata theory and its applications
• Defining the set of integers in expansions of the real field by a closed discrete set
• A Guide to NIP Theories
• Title not available (Why is that?)
• REMARKS ON DIMENSIONS OF CARTESIAN PRODUCT SETS
• Title not available (Why is that?)
• Interpreting the monadic second order theory of one successor in expansions of the real line
• Hausdorff dimension, analytic sets and transcendence.
• Expansions of the real field by open sets: definability versus interpretability
• Expansions of o-minimal structures by sparse sets
• A tame Cantor set
• When is scalar multiplication decidable?

Cited In (8)

• Externally definable quotients and NIP expansions of the real ordered additive group
• Title not available (Why is that?)
• Metric dimensions and tameness in expansions of the real field
• A tetrachotomy for expansions of the real ordered additive group
• 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
• Dimensional coincidence does not imply measure-theoretic tameness
• Coarse dimension and definable sets in expansions of the ordered real vector space

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)