International audienceWe give a general framework for the treatment of perturbations of types and structures in continuous logic, allowing to specify which parts of the logic may be perturbed. We prove that separable, elementarily equivalent structures which are approximately $\aleph_0$-saturated up to arbitrarily small perturbations are isomorphic up to arbitrarily small perturbations (where the notion of perturbation is part of the data). As a corollary, we obtain a Ryll-Nardzewski style characterisation of complete theories all of whose separable models are isomorphic up to arbitrarily small perturbations
Abstract. We study countable saturation of metric reduced prod-ucts and introduce continuous fields ...
AbstractIt is common practice in both theoretical computer science and theoretical physics to descri...
Abstract We develop the general theory of topometric spaces, i.e., topological spaces equipped with ...
International audienceWe give a general framework for the treatment of perturbations of types and st...
International audienceWe present an adaptation of continuous first order logic to unbounded metric s...
Two Banach spaces X and Y are said to be almost isometric if for every ?? > 1 there exists a ??-isom...
International audienceWe develop the general theory of \emph{topometric spaces}, i.e., topological s...
We investigate structures of size at most continuum using various techniques originating from comput...
We study approximate $\aleph_0$-categoricity of theories of beautiful pairs of randomizations, in th...
International audienceWe develop continuous first order logic, a variant of the logic described in \...
International audienceWe prove that $IHS_A$, the theory of infinite dimensional Hilbert spaces equip...
AbstractIt is common practice in both theoretical computer science and theoretical physics to descri...
We extend Ahlbrandt and Ziegler's reconstruction results to the metric setting: we show that separab...
Two Banach spaces X and Y are said to be almost isometric if for every λ> 1 there exists a λ-isom...
We investigate the automorphism groups of $\aleph_0$-categorical structures and prove that they are ...
Abstract. We study countable saturation of metric reduced prod-ucts and introduce continuous fields ...
AbstractIt is common practice in both theoretical computer science and theoretical physics to descri...
Abstract We develop the general theory of topometric spaces, i.e., topological spaces equipped with ...
International audienceWe give a general framework for the treatment of perturbations of types and st...
International audienceWe present an adaptation of continuous first order logic to unbounded metric s...
Two Banach spaces X and Y are said to be almost isometric if for every ?? > 1 there exists a ??-isom...
International audienceWe develop the general theory of \emph{topometric spaces}, i.e., topological s...
We investigate structures of size at most continuum using various techniques originating from comput...
We study approximate $\aleph_0$-categoricity of theories of beautiful pairs of randomizations, in th...
International audienceWe develop continuous first order logic, a variant of the logic described in \...
International audienceWe prove that $IHS_A$, the theory of infinite dimensional Hilbert spaces equip...
AbstractIt is common practice in both theoretical computer science and theoretical physics to descri...
We extend Ahlbrandt and Ziegler's reconstruction results to the metric setting: we show that separab...
Two Banach spaces X and Y are said to be almost isometric if for every λ> 1 there exists a λ-isom...
We investigate the automorphism groups of $\aleph_0$-categorical structures and prove that they are ...
Abstract. We study countable saturation of metric reduced prod-ucts and introduce continuous fields ...
AbstractIt is common practice in both theoretical computer science and theoretical physics to descri...
Abstract We develop the general theory of topometric spaces, i.e., topological spaces equipped with ...