Extendability of automorphisms of generic substructures (Q891096)

\textit{G. E. Chuchunajšvili} [``On a property of Urysohn's universal metric space'', Dokl.\ Akad.\ Nauk SSSR 101, 607--610 (1955; Zbl 0064.16903)] showed that in the Urysohn metric space \(\mathbb U,\) every isometry \(f:A\to B\) of compact subspaces \(A,B\subseteq\mathbb U\) extends to an isometry \(\tilde f\) of \(\mathbb U\). This result cannot be extended for non-compact subspaces but for every separable metric space \(X\) it is possible to find isometric copies \(A\), \(B\) of \(X\) in \(\mathbb U\) such that every isometry \(f:A\to B\) extends to an isometry of \(\mathbb U\). It is said that \textit{the generic element of a topological space \(X\) has a property \(P\)} if the set of all elements of \(X\) having \(P\) is comeager. For a Polish space \(X\) let \(\mathcal F(X)\) denote the canonical Polish space of all closed subsets of \(X\). For subsets \(A\) and \(B\) of \(X\) let \(\text{Iso}(A,B)\) and \(\mathcal E(A,B)\) denote, respectively, the space of all isometries from \(A\) onto \(B\) and the space of all isometries from \(A\) onto \(B\) that extend to an isometry of \(X\) (both spaces equipped with the pointwise convergence topology). Let \(\text{Iso}(A)=\text{Iso}(A,A)\) and \(\mathcal E(A)=\mathcal E(A,A)\). In the paper under the review the author proves for \(X=\mathbb U\) that (1) for generic \(A\in\mathcal F(\mathbb U)\), \(\mathcal E(A)\) is a meager subset of \(\text{Iso}(A)\); (2) for generic pair \((A,B)\in\mathcal F(\mathbb U)\times\mathcal F(\mathbb U)\), \(\mathcal E(A,B)\) is a meager subset of \(\text{Iso}(A,B)\). The same holds for the Urysohn sphere \(\mathbb S\). Let \(\mathcal L\) be a relational countable language and let \(M\) be a Fraïsé \(\mathcal L\)-structure without algebraicity. The author proves that for a generic substructure \(A\subseteq M\) every automorphism of \(A\) extends to an automorphism of \(M\). He obtains some structural results that in particular can be applied to \(\omega\)-stable Fraïsé structures without algebraicity.