For about a decade I have made an effort to study quadratic forms in infinite dimensional vector spaces over arbitrary division rings. Here we present in a systematic fashion half of the results found du- ring this period, to wit, the results on denumerably infinite spaces (" O- forms") . Certain among the resul ts included here had of course been published at the time when they were found, others appear for the first time (the case, for example,...