A rank function for Fraïssé classes and the rank property
Given a hereditary class $\mathcal{F}$ of finite relational structures, the rank function $\mathsf{rk}:σ\mathcal{F}\toω_1\cup\{\infty\}$, introduced by Kubiś and Shelah, measures how far a countable structure is from being universal within its class: $\mathsf{rk}(X)=\infty$ if and only if the Fraïssé limit embeds into $X$. We say that $\mathcal{F}$ has the Rank Property (RP) if every countable ordinal is realized as the rank of some $X\inσ\mathcal{F}$. We develop the basic theory of the rank function and establish RP for three families of classes: those satisfying the free amalgamation…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.14461
curl -X POST /api/v1/records/arxiv/2604.14461/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.14461/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'