| 11. | For a countably infinite set, the set of possible order types is even uncountable.
|
| 12. | These blocks are in turn densely ordered with the order type of the rationals.
|
| 13. | The Roman orders types of columns are used : Tuscan, Doric, Ionic, Corinthian and Composite.
|
| 14. | Recall that \ Omega is the order type of the natural order on all ordinals.
|
| 15. | In "'Henkin semantics "', a separate domain is included in each interpretation for each higher-order type.
|
| 16. | The law-and-order types demand that minors who are arrested for serious crimes be prosecuted as adults.
|
| 17. | In 2006-2007 several members got together and published a draft XML standard for expressing algorithmic order types.
|
| 18. | These equivalence classes are called order types.
|
| 19. | Next followed in Chapters 3 to 5 the classical theory of cardinal numbers, order types and ordinals.
|
| 20. | The ordinal can be said to be the " order type " of any set in the class.
|
