Metric spaces are universal for bi-interpretation with metric structures

DOI10.1016/J.APAL.2022.103204OpenAlexW3152422395MaRDI QIDQ2105094FDOQ2105094

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Model theory for metric structures
• 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

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)