Generic separable metric structures (Q935262)

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.