The first assertion is false: , but . The second is true. In the concatenation definition of ordinal addition, the copy of is a proper initial segment of the copy of when , so is a proper initial segment of .
Articles by others on the same topic
There are currently no matching articles.