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.
Identifer | oai:union.ndltd.org:unt.edu/info:ark/67531/metadc5387 |
Date | 08 1900 |
Creators | Bryant, Ross |
Contributors | Jackson, Stephen C., Gao, Su, Mauldin, R. Daniel |
Publisher | University of North Texas |
Source Sets | University of North Texas |
Language | English |
Detected Language | English |
Type | Thesis or Dissertation |
Format | Text |
Rights | Public, Copyright, Bryant, Ross, Copyright is held by the author, unless otherwise noted. All rights reserved. |
Page generated in 0.0015 seconds