Games and Scott sentences for positive distances between metric structures.

Åsa Hirvonen

Åsa Hirvonen Joni Puljujärvi Games and Scott sentences for positive distances between metric structures. 103123 2022 173 Ann. Pure Appl. Log. 7 https://doi.org/10.1016/j.apal.2022.103123 db/journals/apal/apal173.html#HirvonenP22

Åsa Hirvonen Tapani Hyttinen On eigenvectors, approximations and the Feynman propagator. 109-135 2019 170 Ann. Pure Appl. Log. 1 https://doi.org/10.1016/j.apal.2018.09.001 db/journals/apal/apal170.html#HirvonenH19

Miika Hannula Åsa Hirvonen Juha Kontinen Vadim Kulikov Jonni Virtema Facets of Distribution Identities in Probabilistic Team Semantics. 304-320 2019 JELIA https://doi.org/10.1007/978-3-030-19570-0_20 conf/jelia/2019 db/conf/jelia/jelia2019.html#HannulaHKKV19 Åsa Hirvonen Juha Kontinen Arno Pauly Continuous Team Semantics. 262-278 2019 TAMC https://doi.org/10.1007/978-3-030-14812-6_16 conf/tamc/2019 db/conf/tamc/tamc2019.html#HirvonenKP19

Åsa Hirvonen Thomas Scanlon Jouko Väänänen Dag Westerståhl Preface. 1243-1245 2018 169 Ann. Pure Appl. Log. 12 https://doi.org/10.1016/j.apal.2018.08.011 db/journals/apal/apal169.html#HirvonenSVW18

Miika Hannula Åsa Hirvonen Juha Kontinen Vadim Kulikov Jonni Virtema Facets of Distribution Identities in Probabilistic Team Semantics. 2018 abs/1812.05873 CoRR http://arxiv.org/abs/1812.05873 db/journals/corr/corr1812.html#abs-1812-05873

Åsa Hirvonen Tapani Hyttinen Measuring Dependence in Metric Abstract Elementary Classes with perturbations. 1199-1228 2017 82 J. Symb. Log. 4 https://doi.org/10.1017/jsl.2017.37 db/journals/jsyml/jsyml82.html#HirvonenH17

Åsa Hirvonen Independence in Model Theory. 109-128 2016 Dependence Logic https://doi.org/10.1007/978-3-319-31803-5_7 books/daglib/0037838 db/books/collections/AKVV2016.html#Hirvonen16 Jouko A. Väänänen Åsa Hirvonen Ruy J. G. B. de Queiroz Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings WoLLIC Springer 2016 Lecture Notes in Computer Science 9803 978-3-662-52920-1 https://doi.org/10.1007/978-3-662-52921-8 https://www.wikidata.org/entity/Q56675576 db/conf/wollic/wollic2016.html Åsa Hirvonen Juha Kontinen Roman Kossak Andrés Villaveces From the editors. VII-VIII 2015 Logic Without Borders https://doi.org/10.1515/9781614516873.vii books/daglib/0035342 db/books/collections/HKKV2015.html#HirvonenKKV15 Åsa Hirvonen Juha Kontinen Roman Kossak Andrés Villaveces Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics Logic Without Borders De Gruyter 2015 Ontos Mathematical Logic 5 978-1-61451-687-3 https://doi.org/10.1515/9781614516873 db/books/collections/HKKV2015.html

Åsa Hirvonen Tapani Hyttinen Categoricity in homogeneous complete metric spaces. 269-322 2009 48 Arch. Math. Log. 3-4 https://doi.org/10.1007/s00153-009-0120-z db/journals/aml/aml48.html#HirvonenH09

Miika Hannula Tapani Hyttinen Juha Kontinen Roman Kossak Arno Pauly Joni Puljujärvi Ruy J. G. B. de Queiroz Thomas Scanlon Jouko A. VäänänenJouko Väänänen Andrés Villaveces Jonni Virtema Vadim WeinsteinVadim Kulikov Dag Westerståhl