{"id":"arxiv/2610.03986","url":"https://arxiv.org/abs/2610.03986","tags":["math.RA","math.CO"],"score":0,"title":"Generalizing the $A^A$ Problem for Finite Ordered Sets","domain":"math.RA","source":"arxiv","authors":["George Grätzer"],"reviews":0,"subject":"math.RA","summary":"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,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-02","reactions":{}}