Some Local-Global Principles for Formally Real Fields
1977 ◽
Vol 29
(3)
◽
pp. 606-614
◽
Let F be a formally real field, and let A be a preordering of F; that is, a subset of F satisfying Δ + Δ = Δ, Δ Δ = Δ, F2 ⊆ Δ. Denote by X Δ the set of all orderings P of F satisfying P ⊇ Δ. Thus Δ = ⋂ p ∈xΔP. This result is well known. It was first proved by Artin [3, Satz 1] in the case Δ = ∑ F2.
2019 ◽
Vol 7
(2)
◽
pp. 119
Keyword(s):
Keyword(s):
Keyword(s):