The most important example of an integration space in the constructive measure theory of Bishop and Cheng is the couple (X, μ), where X is a locally compact metric space and μ is a nonnegative linear ...
This is a preview. Log in through your library . Abstract This paper gives a concrete example of a nondictatorial, coalitionally strategyproof social choice function for countably infinite societies.