Alinear order such that every non-empty subset has a least element is called a well-order. The axiom of choice implies that every set can be well-ordered, and given two well-ordered sets, one is isomorphic to an initial segment of the other. So ordinal numbers exist and are essentially unique.
Ordinal numbers are distinct from cardinal numbers, which measure the size of sets. Although the distinction between ordinals and cardinals is not always apparent on finite sets (one can go from one to the other just by counting labels), they are very different in the infinite case, where different infinite ordinals can correspond to sets having the same cardinal. Like other kinds of numbers, ordinals can be added, multiplied, and exponentiated, although none of these operations are commutative.
Ordinals were introduced by Georg Cantor in 1883[3] in order to accommodate infinite sequences and classify derived sets, which he had previously introduced in 1872 while studying the uniqueness of trigonometric series.[4]
A natural number (which, in this context, includes the number 0) can be used for two purposes: to describe the size of a set, or to describe the position of an element in a sequence. When restricted to finite sets, these two concepts coincide, since all linear orders of a finite set are isomorphic.
When dealing with infinite sets, however, one has to distinguish between the notion of size, which leads to cardinal numbers, and the notion of position, which leads to the ordinal numbers described here. This is because while any set has only one size (its cardinality), there are many nonisomorphic well-orderings of any infinite set, as explained below.
It is inappropriate to distinguish between two well-ordered sets if they only differ in the "labeling of their elements", or more formally: if the elements of the first set can be paired off with the elements of the second set such that if one element is smaller than another in the first set, then the partner of the first element is smaller than the partner of the second element in the second set, and vice versa. Such a one-to-one correspondence is called an order isomorphism, and the two well-ordered sets are said to be order-isomorphic or similar (with the understanding that this is an equivalence relation).
The original definition of ordinal numbers, found for example in the Principia Mathematica, defines the order type of a well-ordering as the set of all well-orderings similar (order-isomorphic) to that well-ordering: in other words, an ordinal number is genuinely an equivalence class of well-ordered sets. This definition must be abandoned in ZF and related systems of axiomatic set theory because these equivalence classes are too large to form a set. However, this definition still can be used in type theory and in Quine's axiomatic set theory New Foundations and related systems (where it affords a rather surprising alternative solution to the Burali-Forti paradox of the largest ordinal).
Rather than defining an ordinal as an equivalence class of well-ordered sets, it will be defined as a particular well-ordered set that (canonically) represents the class. Thus, an ordinal number will be a well-ordered set; and every well-ordered set will be order-isomorphic to exactly one ordinal number.
Consequently, every ordinal S is a set having as elements precisely the ordinals smaller than S. For example, every set of ordinals has a supremum, the ordinal obtained by taking the union of all the ordinals in the set. This union exists regardless of the set's size, by the axiom of union.
A nonzero ordinal that is not a successor is called a limit ordinal. One justification for this term is that a limit ordinal is the limit in a topological sense of all smaller ordinals (under the order topology).
A class is stationary if it has a nonempty intersection with every closed unbounded class. All superclasses of closed unbounded classes are stationary, and stationary classes are unbounded, but there are stationary classes that are not closed and stationary classes that have no closed unbounded subclass (such as the class of all limit ordinals with countable cofinality). Since the intersection of two closed unbounded classes is closed and unbounded, the intersection of a stationary class and a closed unbounded class is stationary. But the intersection of two stationary classes may be empty, e.g. the class of ordinals with cofinality ω with the class of ordinals with uncountable cofinality.
There are three usual operations on ordinals: addition, multiplication, and exponentiation. Each can be defined in essentially two different ways: either by constructing an explicit well-ordered set that represents the operation or by using transfinite recursion. The Cantor normal form provides a standardized way of writing ordinals. It uniquely represents each ordinal as a finite sum of ordinal powers of ω. However, this cannot form the basis of a universal ordinal notation due to such self-referential representations as ε0 = ωε0.
Ordinals are a subclass of the class of surreal numbers, and the so-called "natural" arithmetical operations for surreal numbers are an alternative way to combine ordinals arithmetically. They retain commutativity at the expense of continuity.
Interpreted as nimbers, a game-theoretic variant of numbers, ordinals can also be combined via nimber arithmetic operations. These operations are commutative but the restriction to natural numbers is generally not the same as ordinary addition of natural numbers.
Each ordinal associates with one cardinal, its cardinality. If there is a bijection between two ordinals (e.g. ω = 1 + ω and ω + 1 > ω), then they associate with the same cardinal. Any well-ordered set having an ordinal as its order-type has the same cardinality as that ordinal. The least ordinal associated with a given cardinal is called the initial ordinal of that cardinal. Every finite ordinal (natural number) is initial, and no other ordinal associates with its cardinal. But most infinite ordinals are not initial, as many infinite ordinals associate with the same cardinal. The axiom of choice is equivalent to the statement that every set can be well-ordered, i.e. that every cardinal has an initial ordinal. In theories with the axiom of choice, the cardinal number of any set has an initial ordinal, and one may employ the Von Neumann cardinal assignment as the cardinal's representation. (However, we must then be careful to distinguish between cardinal arithmetic and ordinal arithmetic.) In set theories without the axiom of choice, a cardinal may be represented by the set of sets with that cardinality having minimal rank (see Scott's trick).
Any ordinal number can be made into a topological space by endowing it with the order topology; this topology is discrete if and only if the ordinal is a countable cardinal, i.e. at most ω. A subset of ω + 1 is open in the order topology if and only if either it is cofinite or it does not contain ω as an element.
This groundbreaking and revelatory book illuminates the seismic social changes provoked by the ubiquity of data. Marion Fourcade and Kieran Healy show how in this new ordinal society, where everything and everyone is ranked, social stratification is created, codified, and in the end legitimized like never before. Far-reaching and deeply researched, this is an absolute must-read for anyone who wants to understand inequality in the twenty-first century.
The Ordinal Society will enter the pantheon, both as a work of cross-cutting social theory and as a clear-eyed reflection on the stakes of digital technology. Marshalling an astonishing range of theoretical and empirical knowledge to build their argument, Fourcade and Healy compellingly demonstrate just how integral measurement and ranking have become to markets, politics, culture, and the very fabric of social life. And they manage to do it with both rigor and style; this book is both intellectually rewarding and a true pleasure to read.
If any work can advance contemporary social theory for our age of AI and bring it to a wide audience, it is The Ordinal Society. With the elegant theory of ordinality as a common thread uniting disparate phenomena, Fourcade and Healy sort out key paradoxes of digitality, particularly the way in which computation simultaneously promotes democratization and hierarchy. This important book deserves to have a lasting influence in sociology and beyond.
The simplest way to export functions from your DLL is to export them by name. This is what happens when you use __declspec(dllexport), for example. But you can instead export functions by ordinal. With this technique, you must use a .def file instead of __declspec(dllexport). To specify a function's ordinal value, append its ordinal to the function name in the .def file. For information about specifying ordinals, see Exporting from a DLL Using .def Files.
If you want to optimize your DLL's file size, use the NONAME attribute on each exported function. With the NONAME attribute, the ordinals are stored in the DLL's export table rather than the function names. This can be a considerable savings if you are exporting many functions.
Without an idea of what the distribution will be, your simulated data will not likely match reality. But, an easy way to generate some simulated data is to create a new column. Go to the Column Info for this new column. Under Initialize Data click on Missing/Empty and change it to Random. Select Random Integer and specify 0 for the minimum, 4 for the maximum. This will create a uniform distribution of those ordinal values. This is one easy way to simulate some data.
Note that since you are in the Column Info dialog, now would be the time to change the modeling type to Ordinal. You probably would also want to turn on the Value Labels option to specify 0 as Not Important, 1 as Of Little Importance, etc.
3a8082e126