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 (" Õ- 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, in Chapters IX, X, XII where I inยญ clude results contained in the Ph.D.theses by my students w. Allenspach, L. Brand, U. Schneider, M. Studer). If one wants to give an introduction to the geometric algebra of infinite dimensional quadratic spaces, a discussion of ̃ -dimensional 0 spaces ideally serves the purpose. First, these spaces show a large nurober of phenomena typical of infinite dimensional spaces. Second, most proofs can be done by recursion which resembles the familiar proยญ cedure by induction in the finite dimensional Situation. Third, the student acquires a good feeling for the linear algebra in infinite diยญ mensions because it is impossible to camouflage problems by topological expedients (in dimension Õ it is easy to see, in a given case, whethยญ er topological language is appropriate or not)
