| http://www.w3.org/ns/prov#value | - In fact, what we show is that if there is a universal linear order at a regular ?? and its existence is not a result of a trivial cardinal arithmetical reason, then ?? resembles" ???1--a cardinal for which the consistency of having a universal order is known.
|
