47 citations · 181 across the 30 of their papers we have counts for
8 papers · 1 filter
Metric Scott analysis
Itai Ben Yaacov, Michal Doucha, Andre Nies +1
We develop an analogue of the classical Scott analysis for metric structures and infinitary continuous logic. Among our results are the existence of Scott sentences for metric stru…
Non-universality of automorphism groups of uncountable ultrahomogeneous structures
Michal Doucha
In \cite{MbPe}, Mbombo and Pestov prove that the group of isometries of the generalized Urysohn space of density , for uncountable such that , is not a universal t…
Scott rank of Polish metric spaces
Michal Doucha
Following the work of Friedman, Koerwien, Nies and Schlicht we positively answer their question whether the Scott rank of Polish metric spaces is countable.
Universal and ultrahomogeneous abelian Polish metric group
Michal Doucha
We use Fra\" iss\' e theoretic methods to construct a universal and ultrahomogeneous abelian separable metric group. We show that such a group is a universal abelian Polish group,…
Universal and ultrahomogeneous Polish metric structures
Michal Doucha
We use Fra\" issé theoretic methods to construct several universal and ultrahomogeneous Polish metric structures. Namely, universal and ultrahomogeneous Polish metric space equippe…
Canonization of analytic equivalences on the Carlson-Simpson forcing
Michal Doucha
We prove a canonization result for the Carlson-Simpson forcing in the spirit of \cite{KSZ}. We generalize the weak form of the Carlson-Simpson theorem (\cite{CaSi}) dealing with pa…