Back to Search
Start Over
Games and Scott sentences for positive distances between metric structures
- 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 :
- Mathematics - Logic
03C66, 03C75
Subjects
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