Games and Scott sentences for positive distances between metric structures

DOI10.1016/j.apal.2022.103123OpenAlexW3167598301MaRDI QIDQ2140580

Åsa Hirvonen, Joni Puljujärvi

Publication date: 23 May 2022

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

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

zbMATH Keywords

Gromov-Hausdorff distanceBanach-Mazur distanceScott sentenceEhrenfeucht-Fraïssé gamesKadets distancemetric model theory

Mathematics Subject Classification ID

Isomorphic theory (including renorming) of Banach spaces (46B03) Other infinitary logic (03C75) Model theory of denumerable and separable structures (03C15) Continuous model theory, model theory of metric structures (03C66)

Cites Work

• Nonstandard hulls of Banach spaces
• Metric Scott analysis
• Unnamed Item
• Unnamed Item

This page was built for publication: Games and Scott sentences for positive distances between metric structures