Metric spaces are universal for bi-interpretation with metric structures

DOI10.1016/J.APAL.2022.103204MaRDI QIDQ2105094zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 8 December 2022

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

continuous logicmetric structurescomputable structure theorybi-interpretation

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Continuous model theory, model theory of metric structures (03C66)

Recommendations

• Encoding complete metric structures by classical structures
• Generating functions from the viewpoint of Rota-Baxter algebras
• Model theory for metric structures
• Random metric spaces and universality
• Constructive Urysohn's universal metric space

Cites work

• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• Continuous first order logic and local stability
• Continuous first order logic for unbounded metric structures
• Model theory for metric structures
• On d-finiteness in continuous structures
• On perturbations of continuous structures
• Point Degree Spectra of Represented Spaces

Cited in

(2)

• Metric Spaces Are Universal for Bi-interpretation with Metric Structures
• Approximate isomorphism of metric structures

This page was built for publication: Metric spaces are universal for bi-interpretation with metric structures

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