Let be a Fraïssé structure (a countably infinite ultrahomogeneous structure). We call an embedding extensive if each automorphism of its image extends to an automorphism of , where the extension map respects composition, and we say that has extensible -age if each substructure admits an extensive embedding into . We investigate the relationship between the following two properties: the presence of a stationary weak independence relation (SWIR) on , and extensibility of the -age of . We show that linearly ordered Fraïssé structures with a SWIR have extensible -age, but also we give examples of Fraïssé structures where only one of the two properties holds. Finally, we consider whether a wide range of examples of Fraïssé structures have extensible -age or a finite SWIR expansion, including all countably infinite ultrahomogeneous oriented graphs (with one exception).

生成讲解博客的中文版本

生成AI智能校验的中文版本