Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I need to make a small adjustment to Hahn series (the value groups there are not just ordered but linearly/totally ordered), but then realized that I don’t have a lot of feeling for which I should use. Should I refer to linear order or total order?
Maybe it’s not a big deal and I could use either. I think “totally ordered” would be my natural choice, since the valuation ring is valued in say the nonpositive group elements, but maybe the constructivists who have considered this more deeply feel otherwise.
I feel these entries could benefit from some usage guidelines, if there are any.
Well, in this case I would probably be inclined to linear order, because the Hahn condition is that some subset of it is well-ordered, and that seems to be more naturally defined using an irreflexive relation.
Ah, thanks for that comment! That makes sense as far as I understand matters, so I’ll go ahead and put linear in (and obviously if someone thinks otherwise, we can discuss).
1 to 3 of 3