Hereditary Noetherian prime rings, 3: Infinitely generated projective modules

We describe the structure of infinitely generated projective modules over hereditary Noetherian prime rings. The isomorphism invariants are uniform dimension and ranks at maximal ideals. Infinitely generated projective modules need not be free. However, every uncountably generated projective module is the direct sum of a finitely generated module and free modules over specific finite overrings of the given ring in its Goldie quotient ring.