[FOM] Minor result. New, or known to Cantor?
Ignasi Jane
jane at ub.edu
Tue Jun 24 05:44:12 EDT 2003
This is a reference for (a slight generalization of) Bill Marsh's result that
the alphabetical order on the set of all words over a finite alphabet
containing at least two letters has order-type omega(1+eta):
George Boolos: ``Alphabetical Order''. Notre Dame Journal of Formal Logic, 29
(1988), pp.214-215.
Ignacio Jane´
Departament de Logica
Universitat de Barcelona
Barcelona, Spain
-------------------------------------------------
This mail sent through IMP: http://horde.org/imp/
More information about the FOM
mailing list