


















We prove that the Fraïssé limit of a Fraïssé class $\mathcal C$ is the (unique) countable structure whose isomorphism type is comeager (with respect to a certain logic topology) in the Baire space of all structures whose age is contained in $\mathcal C$ and which are defined on a fixed countable universe. In particular, the set of groups isomorphic to Hall's universal group is comeager in the space of all countable locally finite groups and the set of fields isomorphic to the algebraic closure of $\mathbb F_p$ is comeager in the space of countable fields of characteristic $p$.
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。