Various questions about adjoints, absolute values and polar decompositions
of operators are addressed from a constructive point of view. The focus is
on bilinear forms. Conditions are given for the existence of an adjoint, an
d a general notion of a polar decomposition is developed. The Riesz represe
ntation theorem is proved without countable choice.