Back to Search Start Over

Games and Scott sentences for positive distances between metric structures

Authors :
Hirvonen, Åsa
Puljujärvi, Joni
Source :
Annals of Pure and Applied Logic. Volume 173, Issue 7, July 2022
Publication Year :
2021

Abstract

We develop various Ehrenfeucht-Fra\"{\i}ss\'{e} games for distances between metric structures. We study two forms of distances: pseudometrics stemming from mapping spaces onto each other with some form of approximate isomorphism, and metrics stemming from measuring the distances between two spaces isometrically embedded into a third space. Using an infinitary version of Henson's positive bounded logic with approximations, we form Scott sentences capturing fixed distances to a given space. The Scott sentences of separable spaces are in $\mathcal{L}_{\omega_1\omega}$ for 0-distances and in $\mathcal{L}_{\omega_2\omega}$ for positive distances.<br />Comment: This is a generalization of the previous version, based on ideas inspired by other papers on the subject and referee feedback

Subjects

Subjects :
Mathematics - Logic
03C66, 03C75

Details

Database :
arXiv
Journal :
Annals of Pure and Applied Logic. Volume 173, Issue 7, July 2022
Publication Type :
Report
Accession number :
edsarx.2102.00993
Document Type :
Working Paper
Full Text :
https://doi.org/10.1016/j.apal.2022.103123