Saved in:
Bibliographic Details
Main Author: Grätzer, G.
Format: Preprint
Published: 2025
Subjects:
Online Access:https://arxiv.org/abs/2509.20726
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • Let $A$ be a finite ordered set. Define the ordered set $A^A$ as the set of all maps from $A$ to $A$, ordered pointwise. Let ${}^{A} A$ be the dual of $A^A$. We prove results in the spirit of Parts~I--III, but now using both $A^A$ and ${}^{A}A$. For example, if \[ \Bigl({}^{{}^{ {}^{ {}^{A}A}A}A}A\Bigr)^{A^{A^{A}}} \] is isomorphic to \[ \Bigl({}^{ {}^{ {}^{ {}^{B}B}B}B}B\Bigr)^{B^{B^{B}}} \] for finite ordered sets $A$ and $B$, then $A$ is isomorphic to $B$.