Metric spaces are universal for bi-interpretation with metric structures

DOI10.1016/j.apal.2022.103204OpenAlexW3152422395MaRDI QIDQ2105094

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)

Related Items (1)

Approximate isomorphism of metric structures

Cites Work

• Continuous first order logic and local stability
• On d-finiteness in continuous structures
• CONTINUOUS FIRST ORDER LOGIC FOR UNBOUNDED METRIC STRUCTURES
• ON PERTURBATIONS OF CONTINUOUS STRUCTURES
• Point Degree Spectra of Represented Spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item

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