Generalizing the $A^A$ Problem for Finite Ordered Sets
Let X and Y be finite ordered sets and let $X^Y$ denote the ordered set of order-preserving maps from $Y$ to $X$. Let $t$ be a~term formed from a~single variable by exponentiation. We prove that, for every term $t$ with at most twelve variable occurrences and arbitrary finite ordered sets $A,B$, $t(A)\cong t(B)$ implies that $A\cong B$. General constructions and reconstruction principles are developed first; the second part gives the occurrence-by-occurrence proofs. At twelve occurrences the proof covers 4,766 interchange normal forms, representing all 58,786 binary parenthesizations,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.03986
curl -X POST /api/v1/records/arxiv/2610.03986/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.03986/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'