Generic separable metric structures (Q935262): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 02:39, 5 March 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