1 citations · 1 across the 3 of their papers we have counts for
6 papers
Approximate Functional Dependencies---Implication Problem Revisited
Nicolas Fröhlich, Matilda Häggblom, Åsa Hirvonen +1
Functional dependencies are an important and well-studied class of database constraints that correspond to a notion expressed by dependence atoms in team logic. In practice, data o…
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…
Facets of Distribution Identities in Probabilistic Team Semantics
Miika Hannula, Åsa Hirvonen, Juha Kontinen +2
We study probabilistic team semantics which is a semantical framework allowing the study of logical and probabilistic dependencies simultaneously. We examine and classify the expre…
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…