Cancelling the exponent in the arithmetic of finite ordered sets
by
Ralph McKenzie
Vanderbilt University

Where A and P are ordered sets (posets), A^P denotes the set of all monotone maps from P to A, ordered as a sub-poset of the Cartesian power of |P| copies of A. In 1942, Garrett Birkhoff conjectured that A^P isomorphic to B^P implies that A is isomorphic with B for finite posets A, B and P. We proved this conjecture early this year. The talk will outline the proof.

Date received: May 21, 2000

Copyright © 2000 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cafg-11.