<div dir="ltr"><div>Hi folks,</div><div><br></div><div>I've seen many references to "Hylland's theorem" in recent papers and other places, and yet, this theorem seems to be a partial mystery to the Internet, and no one has bothered to write a Wikipedia article about it:</div><a href="https://en.wikipedia.org/wiki/Hylland%27s_theorem">https://en.wikipedia.org/wiki/Hylland%27s_theorem</a><div><br></div><div>Way back in 2005, I found a discussion of "Hylland's theorem" (and "May's theorem") on the EM-list:</div><div><a href="http://lists.electorama.com/pipermail/election-methods-electorama.com//2005-January/thread.html#79759">http://lists.electorama.com/pipermail/election-methods-electorama.com//2005-January/thread.html#79759</a></div><div><br><div>That led me to this paper:<br></div></div><div><span>"Strategy Proofness of Voting Procedures with Lotteries as Outcomes and Infinite Sets of Strategies" -- </span><span>Aanund Hyllund -- </span><span>January 1980</span></div><div><span><br></span></div><div><span>...which seems to be archived here (among other places, I hope):<br></span></div><div><span></span></div><div><div><a href="https://www.sv.uio.no/econ/personer/vit/aanundh/upubliserte-artikler-og-notater/Strategy%20Proofness%5B1%5D.pdf">https://www.sv.uio.no/econ/personer/vit/aanundh/upubliserte-artikler-og-notater/Strategy%20Proofness%5B1%5D.pdf</a></div></div><div><br></div><div>Am I following the breadcrumbs properly?  Is there a different "Hylland" that deserves to have a theorem named after them?</div><div><br></div><div>I would like to either flesh out the following wiki page, or delete it:</div><div><a href="https://electowiki.org/wiki/Hylland%27s_theorem">https://electowiki.org/wiki/Hylland%27s_theorem</a></div><div><br></div><div>I'm not sure what to do with the "Hylland free riding" section in the "Free riding" article, but that needs better citations:<br></div><div><a href="https://electowiki.org/wiki/Free_riding#Hylland_free_riding">https://electowiki.org/wiki/Free_riding#Hylland_free_riding</a></div><div><br></div><div>Rob</div><div><br></div></div>