Well-quasi-ordering (798 bytes)

Path-ordering (2962 bytes)

Well-ordering principle (938 bytes)
2: ...om of choice]]) is taken to be synonymous with "[[well-ordering theorem]]".

Well-ordering theorem (1077 bytes)
2: ...rdering theorem''' (not to be confused with the [[well-ordering axiom]]) states that every [[set]] can be [[well-...
6: ...-ordering theorem. It turned out though, that the well-ordering theorem is equivalent to the axiom of choice, in ...
8: See also [[well-ordering principle]].

Strict weak ordering (1393 bytes)

European ordering rules (1410 bytes)

Language Of Temporal Ordering Specification (363 bytes)

Well-order (2207 bytes)
1: In [[mathematics]], a '''well-order''' (or '''well-ordering''') on a [[set]] ''S'' is a [[total order]] on ''...
3: ...rd ordering of the positive [[real number]]s is a well-ordering.
17: The [[well-ordering theorem]], which is equivalent to the axiom of ch...

Von Neumann cardinal assignment (884 bytes)
6: ...h the ordering via <math>\leq_c</math>. This is a well-ordering of cardinal numbers.

Happened-before (1256 bytes)

FurNation (793 bytes)

UCommand (88 bytes)

Underdevelopment (905 bytes)

Walter Barton May (133 bytes)

Lexicographical order (3804 bytes)

Gröbner basis (6454 bytes)

Multivariate division algorithm (1738 bytes)

Vampire theorem prover (1704 bytes)

Datalog (1179 bytes)

Sarkovskii's theorem (2317 bytes)

<< Prev 20 Result Pages:   1  2  3  4  5  6  7  8  9  10  Next 20 >>