RECONSTRUCTION OF SEPARABLY CATEGORICAL METRIC STRUCTURES

@article{BenYaacov2014RECONSTRUCTIONOS,
  title={RECONSTRUCTION OF SEPARABLY CATEGORICAL METRIC STRUCTURES},
  author={Itay Ben-Yaacov and Adriane Ka{\"i}chouh},
  journal={The Journal of Symbolic Logic},
  year={2014},
  volume={81},
  pages={216 - 224}
}
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. 
View on Cambridge Press
arxiv.org
12 Citations
Background Citations
1
Methods Citations
1

12 Citations

RECONSTRUCTION OF NON- $\aleph _0$ -CATEGORICAL THEORIES

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,…

Star sorts, Lelek fans, and the reconstruction of non-$\aleph\_0$-categorical theories in continuous logic

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…

Existentially closed measure-preserving actions of free groups

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…

Reconstruction of non-$\aleph_0$-categorical theories

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…

On Roeckle-precompact Polish group which cannot act transitively on a complete metric space

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…

On a Roelcke-precompact Polish group that cannot act transitively on a complete metric space

  • 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* (μ)…

On a Roelcke-precompact Polish group that cannot act transitively on a complete metric space

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* (μ)…

Infinite-dimensional Polish groups and Property (T)

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…

Infinite-dimensional Polish groups and Property (T)

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…

Property (T) for Roelcke precompact Polish groups (after Ibarluc\'ia, building on work of Ben Yaacov and Tsankov)

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

Definability of groups in ℵ0-stable metric structures

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…

A topological version of the Bergman property

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…

Definability of groups in $\aleph_0$-stable metric structures

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…

Weakly almost periodic functions, model-theoretic stability, and minimality of topological groups

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…

Model Theory with Applications to Algebra and Analysis: Model theory for metric structures

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…

Model theory with applications to algebra and analysis

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…

A Note on Hjorth's oscillation theorem

  • 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.

On d-finiteness in continuous structures

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…

The dynamical hierarchy for Roelcke precompact Polish groups

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…

Quasi finitely axiomatizable totally categorical theories