The problem as to whether or not there exists a lifting of the M't/. 1 space ) corresponding to the real line and Lebesgue measure on it was first raised by A. Haar. It was solved in a paper published in 1931 102] by 1. von Neumann, who established the existence of a lifting in this case. In subsequent papers J. von Neumann and M. H. Stone 105], and later on 1. Dieudonne 22], discussed various algebraic aspects and generalizations of the problem. Attemps to solve the problem as to whether or not there exists a lifting for an arbitrary M't/. space were unsuccessful for a long time, although...
The problem as to whether or not there exists a lifting of the M't/. 1 space ) corresponding to the real line and Lebesgue measure on it was first rai...