Generic separable metric structures

DOI10.1016/J.TOPOL.2007.08.023MaRDI QIDQ935262zbMATH OpenOpenAlexFDO

Authors Alexander Usvyatsov

Publication date 6 August 2008

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0802.0156

zbMATH Keywords

generic structuresseparable metric structuresUrysohn space

Mathematics Subject Classification ID

Applications of model theory (03C98) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Abstract: We compare three notions of genericity of separable metric structures. Our analysis provides a general model theoretic technique of showing that structures are generic in descriptive set theoretic (topological) sense and in measure theoretic sense. In particular, it gives a new perspective on Vershik's theorems on genericity and randomness of Urysohn's space among separable metric spaces.

Review text

Genericity of separable metric structures is studied by a model theoretic technique. It is based on a generalization of discrete first order logic to the continuous one. Separable continuous structures are viewed as a Polish space and it is shown under some conditions on the theory \(T\) that the isomorphism class of any ``existentially closed model of \(T\) is residual in the subspace of structures which are models of \(T\). For probability measures on the space of models of \(T\), which are nontrivial and invariant in a sense, the set of existentially closed models is of full probability. The investigation was motivated by results of \textit{A. Vershik} on the genericity and randomness of the universal Urysohn space. They are deduced from the model theoretic results. The genericity of the countable random graph is also deduced from the general results.

Recommendations

• scientific article; zbMATH DE number 5005923
• Random metric spaces and universality
• Generic properties of compact metric spaces
• Generic Automorphisms of Homogeneous Structures
• A random metric space is the universal Urysohn space

Cites work

• A random metric space is the universal Urysohn space
• Continuous first order logic and local stability
• scientific article; zbMATH DE number 2152679 (Why is no real title available?)
• Model theory for metric structures

Cited in

(17)

• Maximal equivariant compactification of the Urysohn spaces and other metric structures
• On Kirchberg's embedding problem
• Decision procedures for the conditions true in certain metric structures
• Existentially closed \(\mathrm{ II}_1\) factors
• The pseudoarc is a co-existentially closed continuum
• An approximate Herbrand's theorem and definable functions in metric structures
• Definable functions in Urysohn's metric space
• The dynamical hierarchy for Roelcke precompact Polish groups
• Polish G-spaces and continuous logic
• On Popa's factorial commutant embedding problem
• Thorn-forking in continuous logic
• INVARIANT MEASURES CONCENTRATED ON COUNTABLE STRUCTURES
• Effective metric model theory
• The Connes embedding problem: a guided tour
• Existential closedness and the structure of bimodules of \(\mathrm{II}_1\) factors
• Model theoretic properties of the Urysohn sphere
• Invariant measures via inverse limits of finite structures

This page was built for publication: Generic separable metric structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q935262)