Generic separable metric structures (Q935262): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3602612 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Continuous first order logic and local stability / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4664247 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A random metric space is the universal Urysohn space / rank | |||
Normal rank |
Latest revision as of 14:09, 28 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Generic separable metric structures |
scientific article |
Statements
Generic separable metric structures (English)
0 references
6 August 2008
0 references
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.
0 references
generic structures
0 references
separable metric structures
0 references
Urysohn space
0 references