RECONSTRUCTION OF SEPARABLY CATEGORICAL METRIC STRUCTURES

@article{BenYaacov2014RECONSTRUCTIONOS,
title={RECONSTRUCTION OF SEPARABLY CATEGORICAL METRIC STRUCTURES},
journal={The Journal of Symbolic Logic},
year={2014},
volume={81},
pages={216 - 224}
}
• Published 16 May 2014
• Mathematics
• The Journal of Symbolic Logic
Abstract We extend Ahlbrandt and Ziegler’s reconstruction results ([1]) to the metric setting: we show that separably categorical structures are determined, up to bi-interpretability, by their automorphism groups.
12 Citations
Abstract We generalise the correspondence between $\aleph _0$ -categorical theories and their automorphism groups to arbitrary complete theories in classical logic, and to some theories (including,
A BSTRACT . We prove a reconstruction theorem valid for arbitrary theories in continuous (or classical) logic in a countable language, that is to say that we provide a complete bi-interpretation
• Mathematics
• 2022
This paper is motivated by the study of probability measure-preserving (pmp) actions of free groups using continuous model theory. Such an action is treated as a metric structure that consists of the
We generalise the correspondence between א0-categorical theories and their automorphism groups to arbitrary complete theories in classical logic, and to some theories (including, in particular, all
We study when a continuous isometric action of a Polish group on a complete metric space is, or can be, transitive. Our main results consist of showing that certain Polish groups, namely
• I. Yaacov
• Mathematics
Israel Journal of Mathematics
• 2018
We study when a continuous isometric action of a Polish group on a complete metric space is, or can be, transitive. Our main results consist of showing that for certain Polish groups, namely Aut* (μ)
We study when a continuous isometric action of a Polish group on a complete metric space is, or can be, transitive. Our main results consist of showing that for certain Polish groups, namely Aut* (μ)
We show that all groups of a distinguished class of «large» topological groups, that of Roelcke precompact Polish groups, have Kazhdan’s Property (T). This answers a question of Tsankov and
We show that all groups of a distinguished class of «large» topological groups, that of Roelcke precompact Polish groups, have Kazhdan’s Property (T). This answers a question of Tsankov and
Née au début des années 2000 dans les travaux de Ben Yaacov, Berenstein, Henson et Usvyatsov (2008), la théorie des modèles métrique, ou théorie des modèles continue, permet d’étendre des techniques

References

SHOWING 1-10 OF 13 REFERENCES

Abstract We prove that in a continuous ℵ0-stable theory every type-definable group is definable. The two main ingredients in the proof are: (i) Results concerning Morley ranks (i.e., Cantor-Bendixson
Abstract A topological group G is defined to have property (OB) if any G-action by isometries on a metric space, which is separately continuous, has bounded orbits. We study this topological analogue
We prove that in a continuous $\aleph_0$-stable theory every type-definable group is definable. The two main ingredients in the proof are: \begin{enumerate} \item Results concerning Morley ranks
• Mathematics
• 2013
We investigate the automorphism groups of $\aleph_0$-categorical structures and prove that they are exactly the Roelcke precompact Polish groups. We show that the theory of a structure is stable if
• Mathematics
• 2008
A metric structure is a many-sorted structure with each sort a metric space, which for convenience is assumed to have finite diameter. Additionally there are functions (of several variables) between
• Mathematics
• 2008
Preface List of contributors 1. Conjugacy in groups of finite Morley rank Olivier Frecon and Eric Jaligot 2. Permutation groups of finite Morley rank Alexandre Borovik and Gregory Cherlin 3. A survey
• J. Melleray
• Mathematics
The Journal of Symbolic Logic
• 2010
The point of view presented here clarifies the relation between Hjorth's theorem and first-order logic.
• Mathematics
• 2007
We observe that certain classical results of first order model theory fail in the context of continuous first order logic. We argue that this happens since finite tuples in a continuous structure may
We study several distinguished function algebras on a Polish group G, under the assumption that G is Roelcke precompact. We do this by means of the model-theoretic translation initiated by Ben Yaacov
• Mathematics, Computer Science
Ann. Pure Appl. Log.
• 1986