Pith. sign in

REVIEW 1 cited by

Universal-homogeneous structures are generic

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1710.06137 v4 pith:7QJ5GVWL submitted 2017-10-17 math.LO math.GNmath.GRmath.PR

classification math.LOmath.GNmath.GRmath.PR
keywords countablecomeagerspacefieldsgroupsisomorphicmathcalstructures
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
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$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A simple acylindrical recipe for non-split characteristic $2$ sharply $k$-transitive actions and their generalizations

    math.GR 2026-08 conditional novelty 7.0 of 10

    An acylindrically hyperbolic group satisfying the hyperbolic Theta-seed conditions admits a sharply Theta-transitive action, yielding many non-split sharply 2- and 3-transitive examples.

Pith tools