{"id":"arxiv/2604.14461","url":"https://arxiv.org/abs/2604.14461","tags":["math.LO"],"score":0,"title":"A rank function for Fraïssé classes and the rank property","domain":"math.LO","source":"arxiv","authors":["Carlos López-Callejas","Jareb Navarro-Castillo"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-15","reactions":{}}