In this paper we analyze the explicit representation of fixed agenda social choice correspondences under different rationality assumptions (independence, Pareto optimality, etc.). It is well known that, under some of these assumptions, the existence of dictators, oligarchies or individuals with...

By generalizing the classical Knaster-Kuratowski-Mazurkiewicz Theorem, we obtain a result that provides sufficient conditions to ensure the non-emptiness of several kinds of choice functions. This result generalizes well-known results on the existence of maximal elements for binary relations...