Games and Scott sentences for linear isomorphisms of Banach spaces
Åsa Hirvonen, Joni Puljujärvi · arXiv (Cornell University) · 2021
We define Ehrenfeucht-Fra\{\i}ss\'{e} games and an infinitary version of Heinrich and Henson's positive bounded logic with approximate semantics, and show that, using this logic and these games, one can characterise separable Banach spaces up to linear isomorphism.