Joni Puljujärvi

dblp:321/3358 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2027
0000-0001-5017-9211ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 since 2021
YearPublicationVenuePosition
2027 On the model theory of second-order objects
Tapani Hyttinen, Joni Puljujärvi, Davide Emilio Quadrellaro
Ann. Pure Appl. Log.2
2022 Games and Scott sentences for positive distances between metric structures
abstract
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 with some form of approximate isomorphism, and metrics stemming from measuring the distances between two spaces isometrically embedded into a third space. Using an infinitary version of Henson's positive bounded logic with approximations, we form Scott sentences capturing fixed distances to a given space. The Scott sentences of separable spaces are in Lω1ω for 0-distances and in Lω2ω for positive distances.
Åsa Hirvonen, Joni Puljujärvi
Ann. Pure Appl. Log.2