activity
20242026
collaborators
Showing math.LOShow all

6 papers · 1 filter

math.LO2026

Universal homogeneous two-sorted ultrametric spaces

Adam Bartoš, Wiesław Kubiś, Aleksandra Kwiatkowska +1

We view ultrametric spaces as two-sorted structures consisting of a set of points and of a linearly ordered set of distances. We call the appropriate notion of embeddings distance-…

math.LO2026

Generic dc-automorphisms of two-sorted ultrametric spaces

Adam Bartoš, Wiesław Kubiś, Aleksandra Kwiatkowska +1

We continue to study ultrametric spaces as two-sorted structures consisting of a set of points and of a linearly ordered set of distances, together with the dc-embeddings, which we…

math.LO2026

A logic of co-valuations

Maciej Malicki

A co-valuation is, essentially, a minimal finite cover. We introduce a logic based on co-valuations, which play the role of valuations of free variables in classical first-order lo…

math.LO2025

The rational Gurarii space and its linear isometry group

Ondřej Kurka, Maciej Malicki

We show that the classes of partial isometries in finite-dimensional polyhedral spaces and in finite-dimensional rational polyhedral spaces do not have the weak amalgamation proper…

math.LO2025

Isomorphism of almost locally compact Polish metric structures

Maciej Malicki

A topological space is almost locally compact if it contains a dense locally compact subspace. We generalize a result from \cite{Ma}, showing that isomorphism on Borel classes of a…

math.LO2025

Automorphism groups of measures on the Cantor space. Part I: Good measures and Rokhlin properties

Michal Doucha, Dominik Kwietniak, Maciej Malicki +1

We study criteria for the existence of a dense or comeager conjugacy class in the automorphism group of a given measure on the Cantor space. We concentrate on good measures, define…