P-orderings and polynomial functions on arbitrary subsets of Dedekind rings.
The concept of a Prüfer ring is studied in the case of rings with involution such that it coincides with the corresponding notion in the case of commutative rings.