3-valued Booleans inside rules, passing Condorcet (Re: [EM] "More often" (was: IRV and Condorcet operating identically)

[James Gilmour]

> Dave wrote (in part)
> IRV also has an undefined region, while smaller - what to do when two weak
> candidates are equal, and thus neither can be discarded as weakest.

If by this you mean a tie, the standard UK rules (as used in UK public elections)
state that the Returning Officer should first look back to earlier stages of the
count and exclude whichever of the candidates had the fewer votes at the earliest
stage where their votes were unequal.  If their votes were equal at all stages,
the Returning Officer is to determine by lot between the candidates "and the
candidate on whom the lot falls shall be excluded".

There is no measure of "representation" in this final resolution, but when you
have a complete tie, what else can you do?

James

----
For more information about this list (subscribe, unsubscribe, FAQ, etc), 
please see http://www.eskimo.com/~robla/em