A Computation of Partial Isomorphism Rank on Ordinal Structures
Description:
We compute the partial isomorphism rank, in the sense Scott and Karp, of a pair of ordinal structures using an Ehrenfeucht-Fraisse game. A complete formula is proven by induction given any two arbitrary ordinals written in Cantor normal form.
Date:
August 2006
Creator:
Bryant, Ross