ordered field
(Q909412)
field together with a total ordering of its elements such that the set of positive elements is translation-invariant and multiplicatively closed
field together with a total ordering of its elements such that the set of positive elements is translation-invariant and multiplicatively closed
Language:
Current Data About
ordered field
(P279) |
(Q3782642)
|
||||||||
(P1482) |
https://mathoverflow.net/tags/ordered-fields
https://math.stackexchange.com/tags/ordered-fields |
||||||||
(P2534) |
\forall a,b,c\in K\colon(a\le b\implies a+c\le b+c)\land(0\le a\le b\implies 0\le ab)
|
||||||||
(P2579) |
(Q114420395)
|
||||||||
(P6104) |
(Q8487137)
|
||||||||
(P7235) |
K
\le
\implies
\land
|
||||||||
(P12322) |
(Q190109)
(Q41143704) (Q36161)
|