The elementary theory of full $n$-branching ordinal trees with successor functions
We investigate the first-order theories of full \(n\)-branching ordinal trees \(\mathfrak{T}_α^n\). We obtain a complete classification of the standard trees up to elementary equivalence: every \(\mathfrak{T}_α^n\) is elementarily equivalent to one of four canonical types determined by the ordinal \(α\). For each canonical type we establish effective quantifier elimination and prove decidability of the theory. Along the way we develop the realizability theory of colored ordinal characters and obtain a sharp bound on the length of minimal witnesses. We also clarify the relationship between…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.08426
curl -X POST /api/v1/records/arxiv/2608.08426/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.08426/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'