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.
