...-Strukturen.
-rings are commutative rings whose factor rings modulo prime ideals are valuation rings. -rings occur most naturally in connection with partially ordered rings (= porings) and have been studied only in this context so far. The present note first develops the theory of -rings systematically, without assuming the presence of a partial order. Particular attention is paid to the question of axiomatizability (in the sense of model theory). Partially ordered -rings (-porings) are...
Experience shows that in geometric situations the separating ideal associated with two orderings of a ring measures the degree of tangency of the corresponding ultrafilters of semialgebraic sets. A related notion of separating ideals is introduced for pairs of valuations of a ring. The comparison of both types of separating ideals helps to understand how a point on a surface is approached by different half-branches of curves.
Page 1