Infinite dimensional Jordan algebras and symmetric cones

A celebrated result of Koecher and Vinberg asserts the one-one correspondence between the finite dimensional formally real Jordan algebras and Euclidean symmetric cones. We extend this result to the infinite dimensional setting.