[EM] theorems about "point runoff" systems

[Warren Smith]

>The general tradition when sending email to a list is not to include a
single URL as the body -- otherwise, it tends to look like spam, a
crank's post, or something else that should be ignored. 

--oh, sorry.
I was posting that I thought some EM readers might be interested in this webpage:
http://rangevoting.org/PointRunoff.html
which contans four theorems and proofs, plus a bonus theorem.

You also can see some (rather trivial, but I suppose worth stating) theorems
about "weighted positional" voting systems here
http://rangevoting.org/WtPositnl.html

One theorem that is missing, but probably would not be hard to create, would be one
analysing which Point Runoff systems obey and disobey "clone immunity."

Warren D. Smith
http://rangevoting.org