A dichotomy for expansions of the real field

DOI10.1090/S0002-9939-2012-11369-3MaRDI QIDQ4908285zbMATH OpenOpenAlexFDO

Authors A. Fornasiero, Philipp Hieronymi, Chris Miller

Publication date 5 March 2013

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

defining the integersdichotomyMinkowski dimension zero

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Length, area, volume, other geometric measure theory (28A75)

Abstract: A dichotomy for expansions of the real field is established: Either the set of integers is definable or every nonempty bounded nowhere dense definable subset of the real numbers has Minkowski dimension zero.

Recommendations

• Metric dimensions and tameness in expansions of the real field
• Coarse dimension and definable sets in expansions of the ordered real vector space
• Expansions of o-minimal structures by sparse sets
• A fundamental dichotomy for definably complete expansions of ordered fields
• scientific article; zbMATH DE number 2220979

Cites work

• Expansions of subfields of the real field by a discrete set
• Expansions of the real field by open sets: definability versus interpretability
• Geometric categories and o-minimal structures
• scientific article; zbMATH DE number 1994007 (Why is no real title available?)
• Projection theorems for box and packing dimensions

Cited in

(15)

• Interpreting the monadic second order theory of one successor in expansions of the real line
• How to avoid a compact set
• Coarse dimension and definable sets in expansions of the ordered real vector space
• A fundamental dichotomy for definably complete expansions of ordered fields
• Expansions of the real field by open sets: definability versus interpretability
• Expansions of subfields of the real field by a discrete set
• Interpreting the projective hierarchy in expansions of the real line
• ON EXPANSIONS OF REAL NUMBERS INTO INVERSE FACTORIALS AND FIELDS INDUCED BY RELATED METRICS
• Defining the set of integers in expansions of the real field by a closed discrete set
• The set of restricted complex exponents for expansions of the reals
• D-minimal expansions of the real field have the zero set property
• 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
• First order tameness of measures

This page was built for publication: A dichotomy for expansions of the real field

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