The model-theoretic approach to aggregation: Impossibility results for finite and infinite electorates

► We use model theory for the analysis of abstract aggregation problems. ► The ultraproduct construction corresponds to Arrovian aggregation rules. ► In the finite case, dictatorship follows from the principality of the ultrafilter. ► In the infinite case, another source of impossibility is studied.