- In set theory, a
prewellordering on a set X {\displaystyle X} is a
preorder ≤ {\displaystyle \leq } on X {\displaystyle X} (a
transitive and reflexive...
-
group Norm map, a map from a
pointset into the
ordinals inducing a
prewellordering Norm group, a
group in
class field theory that is the
image of the...
-
generalization Ordinal number Well-founded set Well
partial order Prewellordering Directed set Feferman, S. (1964). "Some
Applications of the Notions...
- ✗ ✗
Total preorder ✗ ✗ Y ✗ ✗ ✗ Y ✗ ✗
Total order ✗ Y Y ✗ ✗ ✗ Y ✗ ✗
Prewellordering ✗ ✗ Y Y ✗ ✗ Y ✗ ✗ Well-quasi-ordering ✗ ✗ ✗ Y ✗ ✗ Y ✗ ✗ Well-ordering...
- ✗ ✗
Total preorder ✗ ✗ Y ✗ ✗ ✗ Y ✗ ✗
Total order ✗ Y Y ✗ ✗ ✗ Y ✗ ✗
Prewellordering ✗ ✗ Y Y ✗ ✗ Y ✗ ✗ Well-quasi-ordering ✗ ✗ ✗ Y ✗ ✗ Y ✗ ✗ Well-ordering...
- ✗ ✗
Total preorder ✗ ✗ Y ✗ ✗ ✗ Y ✗ ✗
Total order ✗ Y Y ✗ ✗ ✗ Y ✗ ✗
Prewellordering ✗ ✗ Y Y ✗ ✗ Y ✗ ✗ Well-quasi-ordering ✗ ✗ ✗ Y ✗ ✗ Y ✗ ✗ Well-ordering...
-
axiom of determinacy. Θ is also the
supremum of the
order types of all
prewellorderings of the reals. [citation needed] It may not be
obvious that it can be...
- ✗ ✗
Total preorder ✗ ✗ Y ✗ ✗ ✗ Y ✗ ✗
Total order ✗ Y Y ✗ ✗ ✗ Y ✗ ✗
Prewellordering ✗ ✗ Y Y ✗ ✗ Y ✗ ✗ Well-quasi-ordering ✗ ✗ ✗ Y ✗ ✗ Y ✗ ✗ Well-ordering...
- ✗ ✗
Total preorder ✗ ✗ Y ✗ ✗ ✗ Y ✗ ✗
Total order ✗ Y Y ✗ ✗ ✗ Y ✗ ✗
Prewellordering ✗ ✗ Y Y ✗ ✗ Y ✗ ✗ Well-quasi-ordering ✗ ✗ ✗ Y ✗ ✗ Y ✗ ✗ Well-ordering...
- ✗ ✗
Total preorder ✗ ✗ Y ✗ ✗ ✗ Y ✗ ✗
Total order ✗ Y Y ✗ ✗ ✗ Y ✗ ✗
Prewellordering ✗ ✗ Y Y ✗ ✗ Y ✗ ✗ Well-quasi-ordering ✗ ✗ ✗ Y ✗ ✗ Y ✗ ✗ Well-ordering...