Generic separable metric structures (Q935262): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963268570 / rank | |||
Normal rank |
Revision as of 21:54, 19 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