27 citations · 102 across the 16 of their papers we have counts for
6 papers · 1 filter
Choice-free Stone duality
Nick Bezhanishvili, Wesley H. Holliday
The standard topological representation of a Boolean algebra via the clopen sets of a Stone space requires a nonconstructive choice principle, equivalent to the Boolean Prime Ideal…
Voting Theory in the Lean Theorem Prover
Wesley H. Holliday, Chase Norman, Eric Pacuit
There is a long tradition of fruitful interaction between logic and social choice theory. In recent years, much of this interaction has focused on computer-aided methods such as SA…
Escaping Arrow's Theorem: The Advantage-Standard Model
Wesley H. Holliday, Mikayla Kelley
There is an extensive literature in social choice theory studying the consequences of weakening the assumptions of Arrow's Impossibility Theorem. Much of this literature suggests t…
Stable Voting
Wesley H. Holliday, Eric Pacuit
We propose a new single-winner voting system using ranked ballots: Stable Voting. The motivating principle of Stable Voting is that if a candidate A would win without another candi…
Measuring Violations of Positive Involvement in Voting
Wesley H. Holliday, Eric Pacuit
In the context of computational social choice, we study voting methods that assign a set of winners to each profile of voter preferences. A voting method satisfies the property of…
Preferential Structures for Comparative Probabilistic Reasoning
Matthew Harrison-Trainor, Wesley H. Holliday, Thomas F. Icard
Qualitative and quantitative approaches to reasoning about uncertainty can lead to different logical systems for formalizing such reasoning, even when the language for expressing u…