Generalized ultraproduct and Kirman-Sondermann correspondence for vote abstention

Geghard Bedrosian, Alessandra Palmigiano, Zhiguang Zhao

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review


The present paper refines Herzberg and Eckert’s modeltheoretic approach to aggregation. The proposed refinement is aimed at naturally accounting for vote abstention, and is technically based on a more general notion of ultraproduct than the one standardly occurring in model theory textbooks. Unlike the standard ultraproduct construction, which yields the empty model as soon as any one single coordinate features the empty model, this generalized ultraproduct construction faithfully reflects the indication of ‘large sets’. Thus, our proposed refinement naturally accounts for those situations in which e.g. a voting round is non-null if and only if a ‘large set’ of voters actually participate in the vote. In the present setting, Arrow’s impossibility theorem also covers ‘elections with only two candidates’

Original languageEnglish
Title of host publicationLogic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings
EditorsWen-Fang Wang, Wiebe van der Hoek, Wesley H. Holliday
PublisherSpringer Verlag
Number of pages13
ISBN (Print)9783662485606
Publication statusPublished - 1 Jan 2015
Externally publishedYes
Event5th International Workshop on Logic, Rationality, and Interaction, LORI 2015 - Taipei, Taiwan, Province of China
Duration: 28 Oct 201531 Oct 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference5th International Workshop on Logic, Rationality, and Interaction, LORI 2015
Country/TerritoryTaiwan, Province of China


  • generalized ultraproduct
  • Kirman sonderman correspondence
  • model theory
  • Social choice
  • ultrafilter
  • vote abstention


Dive into the research topics of 'Generalized ultraproduct and Kirman-Sondermann correspondence for vote abstention'. Together they form a unique fingerprint.

Cite this