1 problem

Let a countable order type mean the order type of a countable linear order. A sequence of order types is descending if each later type is strictly below the preceding one in the or…