Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: Universal-homogeneous structures are generic
(Submitted on 17 Oct 2017 (v1), last revised 14 Oct 2021 (this version, v4))
Abstract: We prove that the Fra\"iss\'e limit of a Fra\"iss\'e 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$.
Submission history
From: Zakhar Kabluchko [view email][v1] Tue, 17 Oct 2017 07:45:38 GMT (17kb)
[v2] Mon, 23 Oct 2017 11:45:31 GMT (19kb)
[v3] Tue, 19 Dec 2017 11:24:20 GMT (20kb)
[v4] Thu, 14 Oct 2021 08:43:42 GMT (20kb)
Link back to: arXiv, form interface, contact.