cleispoi
valsi
cleispoi
type
fu'ivla
creator
time entered
Thu Feb 9 06:37:54 2017
English
Definition #69220 - Preferred
definition
x1 is the total-order(ing) '<' on the cardinals.
notes
It does not assume the Axiom of Choice or the Generalized Continuum Hypothesis. See also: mrenspoi and moinspoi, with which it can be isomorphically associated under certain restrictions. Equivalent but not necessarily preferred to: cleinspoi.
gloss words
created by
vote information
1
time
Thu Feb 9 06:49:57 2017
Examples