Definable functions in Urysohn's metric space

MaRDI QIDQ358931zbMATH OpenFDO

Authors Isaac Goldbring

Publication date 9 August 2013

Published in Illinois Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1001.4999, https://projecteuclid.org/euclid.ijm/1373636691

zbMATH Keywords

continuous model theoryUrysohn metric space

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Interpolation, preservation, definability (03C40)

Abstract: Let U denote the Urysohn sphere and consider U as a metric structure in the empty continuous signature. We prove that every definable function from U^n to U is either a projection function or else has relatively compact range. As a consequence, we prove that many functions natural to the study of the Urysohn sphere are not definable. We end with further topological information on the range of the definable function in case it is compact.

Recommendations

• Further thoughts on definability in the Urysohn sphere
• On the geometry of Urysohn's universal metric space
• On a property of Urysohn's universal metric space
• Compact homogeneity of Uryson's universal metric space
• scientific article; zbMATH DE number 5622689

Cites work

• scientific article; zbMATH DE number 4084570 (Why is no real title available?)
• Definability of groups in ℵ₀-stable metric structures
• Flexible and precision assembly
• Generic separable metric structures
• Model theory for metric structures
• Some geometric and dynamical properties of the Urysohn space
• Some isometry groups of the Urysohn space
• The Urysohn universal metric space is homeomorphic to a Hilbert space
• Thorn-forking in continuous logic
• Topology of the isometry group of the Urysohn space

Cited in

(6)

• Definability in function spaces
• Definable operators on Hilbert spaces
• Model theoretic properties of the Urysohn sphere
• An approximate Herbrand's theorem and definable functions in metric structures
• Definable closure in randomizations
• Further thoughts on definability in the Urysohn sphere

This page was built for publication: Definable functions in Urysohn's metric space

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