1 citations · 1 across the 3 of their papers we have counts for
4 papers · 1 filter
Games and Scott sentences for positive distances between metric structures
Åsa Hirvonen, Joni Puljujärvi
We develop various Ehrenfeucht-Fra\"ıssé games for distances between metric structures. We study two forms of distances: pseudometrics stemming from mapping spaces onto each other…
On ultraproducts, the spectral theorem and rigged Hilbert spaces
Åsa Hirvonen, Tapani Hyttinen
We start by showing how to approximate unitary and bounded self-adjoint operators by operators in finite dimensional spaces. Using ultraproducts we give a precise meaning for the a…
On Eigenvectors, Approximations and the Feynman Propagator
Åsa Hirvonen, Tapani Hyttinen
Trying to interpret B. Zilber's project on model theory of quantum mechanics we study a way of building limit models from finite-dimensional approximations. Our point of view is th…
Measuring dependence in metric abstract elementary classes with perturbations
Åsa Hirvonen, Tapani Hyttinen
We define and study a metric independence notion in a homogeneous metric abstract elementary class with perturbations that is -superstable (superstable wrt. the perturbation t…