English

Universal-homogeneous structures are generic

Logic 2021-10-15 v4 General Topology Group Theory Probability

Abstract

We prove that the Fra\"iss\'e limit of a Fra\"iss\'e class C\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 C\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 Fp\mathbb F_p is comeager in the space of countable fields of characteristic pp.

Cite

@article{arxiv.1710.06137,
  title  = {Universal-homogeneous structures are generic},
  author = {Zakhar Kabluchko and Katrin Tent},
  journal= {arXiv preprint arXiv:1710.06137},
  year   = {2021}
}

Comments

10 pages; missing condition added

R2 v1 2026-06-22T22:16:31.502Z