Guilbaud's 1952 theorem on the logical problem of aggregation

In a paper published in 1952, shortly after publication of Arrow's celebrated impossibility result, the French mathematicien Georges-Théodule Guilbaud has obtained a dictatorship result for the logical problem of aggregation, thus anticipating the literature on abstract aggregation theory and judgment aggregation. We reconstruct the proof of Guilbaud's theorem, which is also of technical interest, because it can be seen as the first use of ultrafilters in social choice theory.