万有齐次结构是通有的

我们证明，Fraïssé 类 $\mathcal C$ 的 Fraïssé 极限是唯一的可数结构，其同构类型在定义于固定可数全集且年龄包含于 $\mathcal C$ 的所有结构的 Baire 空间中（相对于某种逻辑拓扑）是余瘦的。特别地，同构于 Hall 万有群的群在所有可数局部有限群的空间中是余瘦的，且同构于 $\mathbb F_p$ 的代数闭包的域在特征为 $p$ 的可数域空间中是余瘦的。